Adding Abraham clubs and $\alpha$-properness

Abstract

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.