top
We show that under ZFC, for every indecomposable ordinal α < ω₁, there exists a poset which is β-proper for every β < α but not α-proper. It is also shown that a poset is forcing equivalent to a poset satisfying Axiom A if and only if it is α-proper for every α < ω₁.
@article{TetsuyaIshiu2005, abstract = {We show that under ZFC, for every indecomposable ordinal α < ω₁, there exists a poset which is β-proper for every β < α but not α-proper. It is also shown that a poset is forcing equivalent to a poset satisfying Axiom A if and only if it is α-proper for every α < ω₁.}, author = {Tetsuya Ishiu}, journal = {Fundamenta Mathematicae}, keywords = {-properness; club guessing sequence; Axiom A}, language = {eng}, number = {1}, pages = {25-37}, title = {α-Properness and Axiom A}, url = {http://eudml.org/doc/283262}, volume = {186}, year = {2005}, }
TY - JOUR AU - Tetsuya Ishiu TI - α-Properness and Axiom A JO - Fundamenta Mathematicae PY - 2005 VL - 186 IS - 1 SP - 25 EP - 37 AB - We show that under ZFC, for every indecomposable ordinal α < ω₁, there exists a poset which is β-proper for every β < α but not α-proper. It is also shown that a poset is forcing equivalent to a poset satisfying Axiom A if and only if it is α-proper for every α < ω₁. LA - eng KW - -properness; club guessing sequence; Axiom A UR - http://eudml.org/doc/283262 ER -