Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 60, Issue 1 (1995), 58-73.
The Bounded Proper Forcing Axiom
The bounded proper forcing axiom BPFA is the statement that for any family of $\aleph_1$ many maximal antichains of a proper forcing notion, each of size $\aleph_1$, there is a directed set meeting all these antichains. A regular cardinal $\kappa$ is called $\Sigma_1$-reflecting, if for any regular cardinal $\chi$, for all formulas $\varphi, "H(\chi) \models`\varphi'"$ implies "$\exists\delta < \kappa, H(\delta) \models`\varphi'"$. 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 $\Sigma_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.
J. Symbolic Logic, Volume 60, Issue 1 (1995), 58-73.
First available in Project Euclid: 6 July 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Goldstern, Martin; Shelah, Saharon. The Bounded Proper Forcing Axiom. J. Symbolic Logic 60 (1995), no. 1, 58--73. https://projecteuclid.org/euclid.jsl/1183744678