Adding Abraham clubs and $α$-properness
For every indecomposable ordinal $α< ω_1$, we introduce a variant of Abraham forcing for adding a club in $ω_1$, which is $<α$-proper but not $α$-proper.
math.LO↗
arXiv subjects
Publications and source records attributed to Rouholah Hoseini Naveh.
For every indecomposable ordinal $α< ω_1$, we introduce a variant of Abraham forcing for adding a club in $ω_1$, which is $<α$-proper but not $α$-proper.
Starting from the $\rm{GCH},$ we build a cardinal and $\rm{GCH}$ preserving generic extension of the universe, in which there exists a set $A \subseteq ω_2$ of size $\aleph_2$ so that every countably infinite subset of $A$ or $ω_2 \setminus A$ is Cohen generic over the ground model.