PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2011 | 212 | 3 | 261-283
Tytuł artykułu

Openly generated Boolean algebras and the Fodor-type reflection principle

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
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.
Słowa kluczowe
Twórcy
  • Graduate School of System Informatics, Kobe University, Rokko-dai 1-1, Nada-ku, Kobe 657-8501, Japan
autor
  • Department of Mathematics, Ben-Gurion University of the Negev, P.O.B. 653, Be'er Sheva, 84105 Israel
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm212-3-4
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.