The bounded proper forcing axiom

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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 40,131
Through your library

References found in this work BETA

Aronszajn Trees and the Independence of the Transfer Property.William Mitchell - 1972 - Annals of Pure and Applied 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.
Proper and Improper Forcing.Saharon Shelah - 2000 - Bulletin of Symbolic Logic 6 (1):83-86.

Add more references

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.
Set Mapping Reflection.Justin Tatch Moore - 2005 - Journal of Mathematical Logic 5 (1):87-97.
Maximality Principles in Set Theory.Luca Incurvati - 2017 - Philosophia Mathematica 25 (2):159-193.
Generic Absoluteness.Joan Bagaria & Sy D. Friedman - 2001 - Annals of Pure and Applied Logic 108 (1-3):3-13.

View all 16 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.
A Simple Maximality Principle.Joel David Hamkins - 2003 - Journal of Symbolic Logic 68 (2):527-550.
Proper Forcing and L(ℝ).Itay Neeman & Jindřich Zapletal - 2001 - Journal of Symbolic Logic 66 (2):801-810.
Projective Well-Orderings and Bounded Forcing Axioms.Andrés Eduardo Caicedo - 2005 - Journal of Symbolic Logic 70 (2):557 - 572.
Souslin Forcing.Jaime I. Ihoda & Saharon Shelah - 1988 - Journal of Symbolic Logic 53 (4):1188-1207.
The Proper Forcing Axiom and the Singular Cardinal Hypothesis.Matteo Viale - 2006 - Journal of Symbolic Logic 71 (2):473 - 479.
A Maximal Bounded Forcing Axiom.David Asperó - 2002 - Journal of Symbolic Logic 67 (1):130-142.

Analytics

Added to PP index
2009-01-28

Total views
19 ( #421,353 of 2,237,168 )

Recent downloads (6 months)
1 ( #1,004,527 of 2,237,168 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature