Prefer a chat interface with context about you and your work?
Adding Abraham clubs and $\alpha$-properness
For every indecomposable ordinal $\alpha < \omega_1$, we introduce a variant of Abraham forcing for adding a club in $\omega_1$, which is $<\alpha$-proper but not $\alpha$-proper.