Journal of Symbolic Logic 60 (1):58-73 (1995)
Abstract |
The bounded proper forcing axiom BPFA is the statement that for any family of ℵ 1 many maximal antichains of a proper forcing notion, each of size ℵ 1 , there is a directed set meeting all these antichains. A regular cardinal κ is called Σ 1 -reflecting, if for any regular cardinal χ, for all formulas $\varphi, "H(\chi) \models`\varphi'"$ implies " $\exists\delta . We investigate several algebraic consequences of BPFA, and we show that the consistency strength of the bounded proper forcing axiom is exactly the existence of a Σ 1 -reflecting cardinal (which is less than the existence of a Mahlo cardinal). We also show that the question of the existence of isomorphisms between two structures can be reduced to the question of rigidity of a structure
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.2307/2275509 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Aronszajn Trees and the Independence of the Transfer Property.William Mitchell - 1972 - Annals of Mathematical Logic 5 (1):21.
On Potential Embedding and Versions of Martin's Axiom.Sakaé Fuchino - 1992 - Notre Dame Journal of Formal Logic 33 (4):481-492.
Models with Second Order Properties II. Trees with No Undefined Branches.Saharon Shelah - 1978 - Annals of Mathematical Logic 14 (1):73.
Citations of this work BETA
Resurrection Axioms and Uplifting Cardinals.Joel David Hamkins & Thomas A. Johnstone - 2014 - Archive for Mathematical Logic 53 (3-4):463-485.
Strongly Uplifting Cardinals and the Boldface Resurrection Axioms.Joel David Hamkins & Thomas A. Johnstone - 2017 - Archive for Mathematical Logic 56 (7-8):1115-1133.
Subcomplete Forcing Principles and Definable Well-Orders.Gunter Fuchs - 2018 - Mathematical Logic Quarterly 64 (6):487-504.
View all 20 citations / Add more citations
Similar books and articles
Co-Stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
The Proper Forcing Axiom and the Singular Cardinal Hypothesis.Matteo Viale - 2006 - Journal of Symbolic Logic 71 (2):473 - 479.
Souslin Forcing.Jaime I. Ihoda & Saharon Shelah - 1988 - Journal of Symbolic Logic 53 (4):1188-1207.
On the Equivalence of Certain Consequences of the Proper Forcing Axiom.Peter Nyikos & Leszek Piątkiewicz - 1995 - Journal of Symbolic Logic 60 (2):431-443.
Projective Well-Orderings and Bounded Forcing Axioms.Andrés Eduardo Caicedo - 2005 - Journal of Symbolic Logic 70 (2):557 - 572.
Proper Forcing and L(ℝ).Itay Neeman & Jindřich Zapletal - 2001 - Journal of Symbolic Logic 66 (2):801-810.
Proper Forcing, Cardinal Arithmetic, and Uncountable Linear Orders.Justin Tatch Moore - 2005 - Bulletin of Symbolic Logic 11 (1):51-60.
Analytics
Added to PP index
2009-01-28
Total views
64 ( #178,863 of 2,507,700 )
Recent downloads (6 months)
1 ( #416,820 of 2,507,700 )
2009-01-28
Total views
64 ( #178,863 of 2,507,700 )
Recent downloads (6 months)
1 ( #416,820 of 2,507,700 )
How can I increase my downloads?
Downloads