complete embeddings of boolean algebras and preservation of stationarity - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T20:10:32Z http://mathoverflow.net/feeds/question/70954 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/70954/complete-embeddings-of-boolean-algebras-and-preservation-of-stationarity complete embeddings of boolean algebras and preservation of stationarity matteo viale 2011-07-22T03:00:07Z 2011-07-22T13:49:39Z <p>Define a complete embedding of Boolean algebra as an homomorphism of Boolean algebras which preserves also the sup and inf operations. Notice that if $\mathbb{B}$ and $\mathbb{D}$ are complete boolean algebras, $i:\mathbb{B}\to\mathbb{D}$ is a complete embedding and $G$ is $V$-generic for $\mathbb{D}$, then $H=i^{-1}[G]$ is $V$-generic for $\mathbb{B}$.</p> <p>I'm curious to know if the following can be the case:</p> <p>Assume $\mathbb{B}$ and $\mathbb{D}$ are complete stationary set preserving boolean algebras. Can there be two distinct complete embeddings $i_0:\mathbb{B}\to\mathbb{D}$, $i_1:\mathbb{B}\to\mathbb{D}$ such that if $G$ is $V$-generic for $\mathbb{D}$ and $H_j=i_j^{-1}[G]$ are the corresponding $V$-generic filters for $\mathbb{B}$ induced by the respective $i_j$, we can have that there is a name $\tau$ in the forcing language for $\mathbb{B}$ such that:</p> <p>$\|\tau$ is a stationary subset of $\omega_1\|=1_{\mathbb{B}}$</p> <p>$V[G]\models\sigma_{H_0}(\tau)$ is a stationary subset of $\omega_1$</p> <p>$V[G]\models\sigma_{H_1}(\tau)$ is non-stationary</p> http://mathoverflow.net/questions/70954/complete-embeddings-of-boolean-algebras-and-preservation-of-stationarity/70983#70983 Answer by Joel David Hamkins for complete embeddings of boolean algebras and preservation of stationarity Joel David Hamkins 2011-07-22T12:54:05Z 2011-07-22T13:49:39Z <p>Your situation can happen.</p> <p>Let $\mathbb{B}=\text{Add}(\omega_1,1)$ be the forcing to add a Cohen subset $S\subset \omega_1$, and let $\mathbb{D}$ be the forcing that first adds such a set $S$, and then shoots a club through it $C\subset S$. Note that $\mathbb{B}$ is countably closed in $V$ and therefore stationary-set preserving, and the generic Cohen set $S$ that is added is both stationary and co-stationary. Further, the forcing $\mathbb{D}$ is stationary-set preserving over $V$, because by a bootstrap argument we may find a dense set of conditions $(s,c)$, where $s\subset \omega_1$ is bounded and $c\subset s\cup\text{sup}(s)$ is closed, and the set of such conditions in $\mathbb{D}$ is countably closed. Thus, $V[S][C]$ is stationary-set-preserving over $V$, even though it is not stationary-set-preserving over $V[S]$.</p> <p>Notice that we may completely embed $\mathbb{B}$ into $\mathbb{D}$ in the natural way, since $\mathbb{D}$ was described as first adding $S$, and then shooting a club through it.</p> <p>But we may also embed $\mathbb{B}$ into $\mathbb{D}$ in a different way: by first applying the automorphism of $\mathbb{B}$ that flips all bits. This automorphism in effect replaces $S$ with its complement, so that under this embedding, the club gets added to the complement of $S$.</p> <p>Thus, if $\tau$ is the name of the generic set $S$ added by $\mathbb{B}$, then $1_{\mathbb{B}}$ forces that $\tau$ is stationary, and with the first embedding we have that $\text{val}(\tau,H_0)=S$, which remains stationary and in fact containing a club in $V[S][C]$, but with the second embedding we have $\text{val}(\tau,H_1)=\omega_1\setminus S$, which is non-stationary in $V[S][C]$.</p> <p>The two embeddings correspond as you said to the two fundamentally different ways we can think about the Cohen set being treated by the club-shooting forcing, since either we shoot the club through the set, or through its complement, and this difference radically affects the stationarity of this set. But meanwhile, all the ground model stationary sets are preserved, since the composition forcing has a countably closed dense set.</p>