Bounded Martin’s Maximum with Many Witnesses
نویسنده
چکیده
We study a strengthening of Bounded Martin’s Maximum which asserts that if a Σ1 fact holds of ω V 2 in a stationary set preserving extension then it holds in V for a stationary set of ordinals less than ω2. We show that this principle implies Global Projective Determinacy, and therefore does not hold in the Pmax model for BMM, but that the restriction of this principle to forcings which render ω 2 countably cofinal does hold in the BMM model, though it is not a consequence of BMM.
منابع مشابه
Bounded Martin’s Maximum is stronger than the Bounded Semi-proper Forcing Axiom
We show that if Bounded Martin’s Maximum (BMM) holds then for every X ∈ V there is an inner model with a strong cardinal containing X. In particular, by [1], BMM is strictly stronger consistency-wise than the Bounded Semi-Proper Forcing Axiom (BSPFA).
متن کاملSemi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum
We show that L(R) absoluteness for semi-proper forcings is equiconsistent with the existence of a remarkable cardinal, and hence by [6] with L(R) absoluteness for proper forcings. By [7], L(R) absoluteness for stationary set preserving forcings gives an inner model with a strong cardinal. By [3], the Bounded Semi-Proper Forcing Axiom (BSPFA) is equiconsistent with the Bounded Proper Forcing Axi...
متن کاملHierarchies of Forcing Axioms, the Continuum Hypothesis and Square Principles
I analyze the hierarchies of the bounded and the weak bounded forcing axioms, with a focus on their versions for the class of subcomplete forcings, in terms of implications and consistency strengths. For the weak hierarchy, I provide level-by-level equiconsistencies with an appropriate hierarchy of partially remarkable cardinals. I also show that the subcomplete forcing axiom implies Larson’s o...
متن کاملMartin’s Maximum and Definability in H(א2)
In [6], we modified a coding device from [14] and the consistency proof of Martin’s Maximum from [3] to show that from a supercompact limit of supercompact cardinals one could force Martin’s Maximum to hold while the Pmax axiom (∗) fails. Here we modify that argument to prove a stronger fact, that Martin’s Maximum is consistent with the existence of a wellordering of the reals definable in H(א2...
متن کاملBounded forcing axioms and the continuum
We show that bounded forcing axioms (for instance, the Bounded Proper Forcing Axiom and the Bounded Semiproper Forcing Axiom) are consistent with the existence of (!2; !2)-gaps and thus do not imply the Open Coloring Axiom. They are also consistent with Jensen’s combinatorial principles for L at the level !2, and therefore with the existence of an !2-Suslin tree. We also show that the axiom we ...
متن کامل