I would like some help with the proof of the preservation of measurable cardinals in mild extensions, as I am a bit new with forcing.


By mild extensions, I mean the generic extension produced from a forcing notion of size less than $\kappa$, where $\kappa$ is a large cardinal (in my question measurable). I am reading the proof from Levy-Solovay's article "Measurable Cardinals and the Continuum Hypothesis" (1967). The idea of the proof is that if $U$ is a non-principal, $\kappa$-complete ultrafilter on $\kappa$ (in $V$), then $W=\{X\subseteq \kappa:\exists Y\in U(Y\subseteq X)\}$ is a non-principal $\kappa$-complete ultrafilter on $\kappa$ in $V[G]$. Levy & Solovary use ideals instead of filters, which requires only slight modifications.


I am confused at the part where we try to prove that $W$ is an ultrafilter. Here is what I understand. If $X\subseteq \kappa$ in $V[G]$, let $p$ be such that $p\Vdash \dot{X}\subseteq \kappa$; we define the set of potential values of $X$ in $V$:
$$T=\{\alpha<\kappa:\exists q\leq p(q\Vdash \alpha\in \dot{X})\}. $$
$T$ is a subset of $\kappa$ in $V$, so either $T\in U$ or $T\not\in U$. Now somehow we have to show that $T\in U$ implies $X\in W$ and $T\not\in U$ implies $X\not\in W$ (and this is the points where I am stuck). Can you please help me with this argument?



Preservation of measurable cardinals in mild extensions
If $T$ is not in $U$, then the complement of $T$ is in $U$, which means that $U$ concentrates on ordinals that $p$ forces are not in $\dot X$, which means that $p$ forces that the complement of $\dot X$ is in $W$. 


If $T$ is in $U$, then let $T\_q=\{\alpha\mid q\vdash\check\alpha\in \dot X\}$ be the ordinals that $q$ forces to be in $\dot X$, for $q\leq p$. Since $T=\bigcup\_{q\leq p}T\_q$ and this is a small union, it follows from the completeness of $U$ and $T\in U$ that some $T\_q\in U$. In this case, $q$ forces $\dot X\in W$ since clearly $q$ forces $T\_q\subset \dot X$. 


So either $p$ forces the complement of $\dot X$ into $W$, or some $q\leq p$ forces $\dot X\in W$. So no condition can force that $\dot X$ is not decided by $W$, and so it is in ultrafilter.


By the way, a second way to prove the theorem is to start with an elementary embedding $j:V\to M$ with critical point $\kappa$ and suppose that $G\subset\mathbb{P}$ is $V$-generic. Since the forcing is small, it follows that $j(D)=j''D$ for any $D\subset\mathbb{P}$. Let $H=j''G$. It follows easily that $H=j''G\subset j(\mathbb{P})$ is $M$-generic. We may therefore lift the embedding by defining $j^\ast(\tau\_G)=j(\tau)\_H$. This is well-defined and elementary since $j''G\subset H$. It is easy to see that $j=j^\ast\upharpoonright V$, and so this really is a lift. In particular, $\kappa$ is still measurable in $V[G]$, because it is the critical point of the embedding $j^\ast:V[G]\to M[H]$. 


Finally, one can prove that the two approaches are equivalant, in the sense that if $j$ is the ultrapower by $U$ in $V$, then $j^\ast$ is the ultrapower by $W$ in $V[G]$. 


