A characterization of lifting generics for Sacks-like forcings
Radek Honzík (2010)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
Radek Honzík (2010)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
Keith Devlin (1975)
Fundamenta Mathematicae
Similarity:
Adam Figura (1981)
Fundamenta Mathematicae
Similarity:
Sy-David Friedman (2009)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
Sy-David Friedman (2010)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
Kurepa, Đuro (1988)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Sy-David Friedman, Víctor Torres-Pérez (2015)
Bulletin of the Polish Academy of Sciences. Mathematics
Similarity:
We prove that the Tree Property at ω₂ together with BPFA is equiconsistent with the existence of a weakly compact reflecting cardinal, and if BPFA is replaced by BPFA(ω₁) then it is equiconsistent with the existence of just a weakly compact cardinal. Similarly, we show that the Special Tree Property for ω₂ together with BPFA is equiconsistent with the existence of a reflecting Mahlo cardinal, and if BPFA is replaced by BPFA(ω₁) then it is equiconsistent with the existence of just a Mahlo...