Mathematics – Logic
Scientific paper
1995-01-15
J. Symbolic Logic 60 (1995), 58--73
Mathematics
Logic
Scientific paper
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 phi, ``H(chi) models `phi ' '' implies ``exists delta < kappa, H(delta) models `phi ' '' We show that BPFA is equivalent to the statement that two nonisomorphic models of size aleph_1 cannot be made isomorphic by a proper forcing notion, 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.
Goldstern Martin
Shelah Saharon
No associations
LandOfFree
The Bounded Proper Forcing Axiom does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The Bounded Proper Forcing Axiom, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Bounded Proper Forcing Axiom will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-643542