For every indecomposable ordinal α<ω1α<ω1, we introduce a variant of Abraham forcing for adding a club in ω1ω1, which is <α<α-proper but not αα-proper.
生成讲解博客的中文版本
生成AI智能校验的中文版本