Journal of Symbolic Logic

The Bounded Proper Forcing Axiom

Martin Goldstern and Saharon Shelah

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.


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.

Article information

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.

Export citation