Adding Abraham clubs and $α$-properness

Mohammad Golshani, Rouholah Hoseini Naveh

Published 2024-09-15Version 1

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.