-
arXiv:2409.09697 [pdf, ps, other]
Adding Abraham clubs and $α$-properness
Abstract: For every indecomposable ordinal $α< ω_1$, we introduce a variant of Abraham forcing for adding a club in $ω_1$, which is $<α$-proper but not $α$-proper.
Submitted 15 September, 2024; originally announced September 2024.
-
arXiv:2301.09435 [pdf, ps, other]
Adding highly generic subsets of $ω_2$
Abstract: 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.
Submitted 24 August, 2023; v1 submitted 23 January, 2023; originally announced January 2023.