Openly generated Boolean algebras and the Fodor-type reflection principle

@article{SakaéFuchino2011,
abstract = {We prove that the Fodor-type Reflection Principle (FRP) is equivalent to the assertion that any Boolean algebra is openly generated if and only if it is ℵ₂-projective. Previously it was known that this characterization of openly generated Boolean algebras follows from Axiom R. Since FRP is preserved by c.c.c. generic extension, we conclude in particular that this characterization is consistent with any set-theoretic assertion forcable by a c.c.c. poset starting from a model of FRP. A crucial step of the proof of the main result is to show that FRP implies Shelah's Strong Hypothesis (SSH). In particular, we show that FRP implies the Singular Cardinals Hypothesis (SCH). Extending a result of the second author, we also establish some new characterizations of SSH in terms of topological reflection theorems.},
author = {Sakaé Fuchino, Assaf Rinot},
journal = {Fundamenta Mathematicae},
keywords = {Fodor-type reflection; axiom R; Shelah's strong hypothesis; projective Boolean algebras},
language = {eng},
number = {3},
pages = {261-283},
title = {Openly generated Boolean algebras and the Fodor-type reflection principle},
url = {http://eudml.org/doc/283042},
volume = {212},
year = {2011},
}

TY - JOUR
AU - Sakaé Fuchino
AU - Assaf Rinot
TI - Openly generated Boolean algebras and the Fodor-type reflection principle
JO - Fundamenta Mathematicae
PY - 2011
VL - 212
IS - 3
SP - 261
EP - 283
AB - We prove that the Fodor-type Reflection Principle (FRP) is equivalent to the assertion that any Boolean algebra is openly generated if and only if it is ℵ₂-projective. Previously it was known that this characterization of openly generated Boolean algebras follows from Axiom R. Since FRP is preserved by c.c.c. generic extension, we conclude in particular that this characterization is consistent with any set-theoretic assertion forcable by a c.c.c. poset starting from a model of FRP. A crucial step of the proof of the main result is to show that FRP implies Shelah's Strong Hypothesis (SSH). In particular, we show that FRP implies the Singular Cardinals Hypothesis (SCH). Extending a result of the second author, we also establish some new characterizations of SSH in terms of topological reflection theorems.
LA - eng
KW - Fodor-type reflection; axiom R; Shelah's strong hypothesis; projective Boolean algebras
UR - http://eudml.org/doc/283042
ER -