Skip to main content
added 83 characters in body; edited tags
Source Link
Asaf Karagila
  • 39.8k
  • 8
  • 135
  • 283

Let lambda>kappa$\lambda>\kappa$ and coll(kappa, lambda)$\operatorname{Coll}(\kappa, \lambda)$ be the poset collapsing lambda$\lambda$ to kappa$\kappa$. Pick a subposet P$P$ which is $\lt\kappa$-closed and of size lambda$\lambda$. Can we say that P$P$ is forcing equivalent to coll(kappa,lambda)$\operatorname{Coll}(\kappa,\lambda)$? Or, more generally, which are the minimal conditions to make P$P$ equivalent to coll(kappa,lambda)$\operatorname{Coll}(\kappa,\lambda)$?

When lambda=kappa$\lambda=\kappa$ (i.e., kappa cohen$\kappa$-Cohen forcing) I am pretty sure that this be true, so I was interested in understanding whether it generalizes.

Let lambda>kappa and coll(kappa, lambda) be the poset collapsing lambda to kappa. Pick a subposet P which is $\lt\kappa$-closed and of size lambda. Can we say that P is forcing equivalent to coll(kappa,lambda)? Or, more generally, which are the minimal conditions to make P equivalent to coll(kappa,lambda)?

When lambda=kappa (i.e., kappa cohen forcing) I am pretty sure that this be true, so I was interested in understanding whether it generalizes.

Let $\lambda>\kappa$ and $\operatorname{Coll}(\kappa, \lambda)$ be the poset collapsing $\lambda$ to $\kappa$. Pick a subposet $P$ which is $\lt\kappa$-closed and of size $\lambda$. Can we say that $P$ is forcing equivalent to $\operatorname{Coll}(\kappa,\lambda)$? Or, more generally, which are the minimal conditions to make $P$ equivalent to $\operatorname{Coll}(\kappa,\lambda)$?

When $\lambda=\kappa$ (i.e., $\kappa$-Cohen forcing) I am pretty sure that this be true, so I was interested in understanding whether it generalizes.

added 5 characters in body
Source Link
Joel David Hamkins
  • 236.4k
  • 44
  • 777
  • 1.4k

Let lambda>kappa and coll(kappa, lambda) be the poset collapsing lambda to kappa. Pick a subposet P which is <kappa$\lt\kappa$-closed and of size lambda. Can we say that P is forcing equivalent to coll(kappa,lambda)? Or, more generally, which are the minimal conditions to make P equivalent to coll(kappa,lambda)?

When lambda=kappa (i.e., kappa cohen forcing) I am pretty sure that this be true, so I was interested in understanding whether it generalizes.

Let lambda>kappa and coll(kappa, lambda) be the poset collapsing lambda to kappa. Pick a subposet P which is <kappa-closed and of size lambda. Can we say that P is forcing equivalent to coll(kappa,lambda)? Or, more generally, which are the minimal conditions to make P equivalent to coll(kappa,lambda)?

When lambda=kappa (i.e., kappa cohen forcing) I am pretty sure that this be true, so I was interested in understanding whether it generalizes.

Let lambda>kappa and coll(kappa, lambda) be the poset collapsing lambda to kappa. Pick a subposet P which is $\lt\kappa$-closed and of size lambda. Can we say that P is forcing equivalent to coll(kappa,lambda)? Or, more generally, which are the minimal conditions to make P equivalent to coll(kappa,lambda)?

When lambda=kappa (i.e., kappa cohen forcing) I am pretty sure that this be true, so I was interested in understanding whether it generalizes.

Source Link
user46687
user46687

About subposet of Levy collapse

Let lambda>kappa and coll(kappa, lambda) be the poset collapsing lambda to kappa. Pick a subposet P which is <kappa-closed and of size lambda. Can we say that P is forcing equivalent to coll(kappa,lambda)? Or, more generally, which are the minimal conditions to make P equivalent to coll(kappa,lambda)?

When lambda=kappa (i.e., kappa cohen forcing) I am pretty sure that this be true, so I was interested in understanding whether it generalizes.