I've a problem with a passage of the proof of Claim 14.7 of the paper "Cofinality spectrum theorems in model theory, set theory, and general topolgy" by Malliaris and Shelah, or equivalently Proposition 4D of Fremlin "p=t, following Malliaris-Shelah and Steprans", <https://www1.essex.ac.uk/maths/people/fremlin/n14528.pdf> (I'll refer to this second one). I have problems with the argument by contradiction inside the proof (starting from "**P?**"). In particular, I don't understand why $D\in G$: I know that by definition $D\Vdash \check{D}\in F$ for every $F$ generic over $\mathfrak{M}$ with $D\in F$, but in this case to me it seems that $G$ was fixed at the beginning, and then the sequence $\langle \dot{p}\_\varepsilon\rangle\_{\varepsilon<\alpha}$ was fixed accordingly to the chosen $G$ and thus we cannot chose again a different $G$ so that $D\in G$.


I will explain my difficulty with an example:


Let $\mathfrak{M}$ be a (CT) model of ZFC, $(B,\leq,\land,\lor,\neg,0,1)\in\mathfrak{M}$ a complete boolean algebra and let $G\subset B$ be a fixed ultrafilter generic over $\mathfrak{M}$ and $\mathfrak{M}[G]$ the generic model extending $\mathfrak{M}$ and containing $G$ obtained using forcing. Then $\mathfrak{M}[G]$ is also a model of ZFC and $G\in\mathfrak{M}[G]$.


Given $A\subset B$ and $x\in B$, use the notation $x\leq A$ to denote $\forall a\in A[x\leq a]$.
Working in $\mathfrak{M}[G]$, find a subset $A\subset G$ such that $A$ is unbounded in $G$, that is $\forall x\in B[x\leq A\to x\notin G]$ (e.g. by induction or taking $A$ to be a maximal chain in $G$). Let $\check{A}$ be the $B$-name of $A$ and $\check{G}$ be the $B$-name of $G$. Then by forcing theorem, $\mathfrak{M}[G]\vDash A\subset G$ if and only if there exists a $p\in G$ such that $p\Vdash \check{A}\subset \check{G}$. 


Since it is not possible that $p\leq A$, hence $p\nleq A$ that means there exists $a\in A$ such that $(p\land a)<p$ and thus $((\neg a)\land p)>0$. But now $((\neg a)\land p)<p$ and thus $((\neg a)\land p) \Vdash \check{A}\subset \check{G}$ although $((\neg a)\land p)\notin G$.


So here for example we should have a formula that depended on a certain fixed $G$, true in $\mathfrak{M}[G]$, and is forced true also by $p\notin G$ and this does not cause contradiction.


I don't understand if there is a mistake in my example or if the situation in the proof of Fremlin (and Malliaris-Shelah) is a different context so things behave differently from the example, and why. Can someone give me a hint?




---


In particular, to me the context in Fremlin's (Malliaris-Shelah's) proof seems closely related to the previous example for the following reason:


Define $D\_{\eta,\varepsilon}=\{n\in\omega:(p\_{\eta})\_n<(p\_{\varepsilon})\_n\}$, and $A=\{D\_{\eta,\varepsilon}:\eta<\varepsilon<\alpha\}$ (they depend on the starting sequence). To ask that $\langle \dot{p}\_\varepsilon\rangle\_{\varepsilon<\alpha}$ is an increasing sequence in $\prod\_{n\in\omega} \dot{P}\_n|G$ means to ask $A\subset G$. If I understood correctly, if $E\_\varepsilon$ are the sets defined in the proof by contradiction of Fremlin, we have $E\_\eta\setminus E\_\varepsilon$ finite for every $\varepsilon<\eta<\alpha$ if and only if $A$ is not unbounded in $G$ and $C$ (defined in Fremlin) is a bound for $A$. I cannot see why for any starting sequence $\langle \dot{p}\_\varepsilon\rangle\_{\varepsilon<\alpha}$ is impossible for such an $A$ to be unbounded in $G$. I know this would be trivial if $A\in\mathfrak{M}$, but this should not be always the case if I'm not wrong.




---


**EDIT**: For Malliaris-Shelah notation, the problem is the following:
at the end of Claim 14.7, it is said that $Y\_\beta\subseteq^\ast Y\_\alpha$ for every $\alpha<\beta$. The argument is that otherwise that would be $B'\subseteq^\ast B$ contradicting $B\Vdash\_\mathcal{Q}(\mathcal{N}\vDash "f\_\alpha/G\trianglelefteq f\_\beta/G")$.
I don't get why such a $B'$ should contradict that statement: if $B'\in G$ this would cause contradiction. But I cannot figure out why this should be so.


The translation "Malliaris-Shelah$\to$Fremlin" should be the following: $B$ is $C$, $B'$ is $D$, $Y\_\beta$ is $E\_\beta$, $f\_\beta/G$ is $\dot{p}\_\beta$ and $\langle f\_\alpha/G:\alpha<\theta\rangle$ is $\langle \dot{p}\_\varepsilon\rangle\_{\varepsilon<\alpha}$, while the definable downward closed subtree of $({\omega}^{<\omega})$ in which Malliaris and Shelah are working has been replaced by $\prod\_{n\in\omega} \dot{P}\_n|G$ and $s\_n$ intuitively should be $\dot{P}\_n$.



Problem understanding a passage of the proof of $\mathfrak{p}=\mathfrak{t}$ involving forcing
I'll close the question collecting here what helped me understanding the problem (thank you really much KP Hart and Douglas Ulrich for the help).


The thing that caused me great confusion is that I wasn't aware of the following fact: 
given a model $\mathfrak{M}$ and a $\lambda$-closed forcing notion $\mathbb{P}\in \mathfrak{M}$ and $G\subset \mathbb{P}$ ultrafilter generic over $\mathfrak{M}$, then $\mathfrak{M}[G]\vDash$ "$G$ (considered as a suborder of $\mathbb{P}$) is $\lambda$-closed".




---


I'll rewrite part of the statement of my example. I made a lot of confusion and used the wrong notation and symbols so I'll correct them here.


Let's consider $G$ an ultrafilter generic over $\mathfrak{M}$. $G$ *need not to be fixed*: it can be actually any of them.


Working in $\mathfrak{M}[G]$, find a subset $A\subset G$ such that $A$ is unbounded in $G$, that is $\forall x\in B[x\leq A\to x\notin G]$. Let $\dot{A}$ be the $B$-name of $A$ and $\dot{G}$ be the $B$-name of $G$ ($\check{x}$ should be used only for the canonical name of some $x\in\mathfrak{M}$, $G$ and $A$ does not belong to $\mathfrak{M}$). Then by forcing theorem, $\mathfrak{M}[G]\vDash$ "$A\subset G$ and $A$ is unbounded in $G$" if and only if there exists a $p\in G$ such that $p\Vdash$ "$A\subset G$ and $A$ is unbounded in $G$". 


Here it might be useful to think $A=G$, and so we can take also $\dot{A}=\dot{G}$, since this satisfy all the requirement. 


It is true that it is not possible that $\mathfrak{M}[G]\vDash p\leq A$, hence $\mathfrak{M}[G]\vDash p\nleq A$. For example in case $A=G$, $p$ might be the maximum of the boolean algebra, so this is not surprising.


That means $\mathfrak{M}[G]\vDash$ "there exists $a\in A$ such that $(p\land a)<p$", so we can fix an $a\in G$ and $p'\in G$ such that $(p\land a)<p$ and $p'\Vdash \check{a}\in \dot{A}$.   

It is true that $((\neg a)\land p)>0$ and $((\neg a)\land p)<p$ and thus $((\neg a)\land p) \Vdash$ "$\dot{A}\subset \dot{G}$ and $\dot{A}$ is unbounded in $\dot{G}$", although a statement like "$((\neg a)\land p)\notin G$" makes sense only if we fixed $G$ so that $a\in G$, that is equivalent to say $a\Vdash ((\neg a)\land p)^{\check{}}\notin \dot{G}$.


So this alone does not create problem: it just means that $a$ and $p'$ incompatible and $p\not \Vdash \check{a}\in \dot{A}$, which is trivial. In fact, it's always true that given $q,r\in B$ if $q<r$ then $r\not \Vdash \check{q}\in \dot{G}$.


But in Fremlin's proof there were additional conditions that make this last stament less trivial (and hence surprising for me).   

Assume $A$ wellordered and there exists $q\in B$, $\alpha$ ordinal and $b\_i\in B$ for every $i<\alpha$ such that $q\Vdash$ "the order type of $\dot{A}$ is $\check{\alpha}$ and $\check{b\_i}$ is the $i$-th element of $\dot{A}$ for any $i\in\check{\alpha}$".


Then we have a contradiction: in fact, since $q\in G$ and $q\Vdash$ "$\dot{A}$ unbounded in $\dot{G}$", we may find $a\in A$ such that $(q\land a)<q$ and $q'<q$ such that $q'\Vdash \check{a}\in\dot{A}$. Then there exists an $i\in\alpha$ such that $q'\Vdash \check{a}=\check{b\_i}$ and so $a=b\_i$, hence $q\Vdash \check{a}\in \dot{A}$.
But now $((\neg a)\land q)>0$ and $((\neg a)\land q)<q$, hence $((\neg a)\land q)\Vdash \check{a}\in \dot{A}$ and at the same time $((\neg a)\land q)\Vdash \check{a}\notin \dot{A}$, contradiction.


This contradiction only proves that for every $A$ unbounded there is no such $q$. But if $\mathbb{P}$ is a $\lambda$-closed forcing notion such a $q$ can be found for every chain $A'$ of cardinality less than $\lambda$. 
This two things together were the cause of my confusion, while actually they just imply what stated at the beginning, i.e. that for every $\lambda$-closed forcing notion $\mathbb{P}$ and $G\subset \mathbb{P}$ generic ultrafilter over a model $\mathfrak{M}$, then $\mathfrak{M}[G]\vDash$ "$G$ is $\lambda$-closed".


My problem was that I didn't recognize what this contradiction meant at the beginning and thought there could have been generic ultrafilters with small unbounded chains, so I assumed $G$ fixed to avoid this contradiction, while actually it is not. 


