Switch to: Citations

Add references

You must login to add references.
  1. Some principles related to Chang's conjecture.Hans-Dieter Donder & Jean-Pierre Levinski - 1989 - Annals of Pure and Applied Logic 45 (1):39-101.
    We determine the consistency strength of the negation of the transversal hypothesis. We also study other variants of Chang's conjecture.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • Generalized erdoös cardinals and O4.James E. Baumgartner & Fred Galvin - 1978 - Annals of Mathematical Logic 15 (3):289-313.
  • Bounded forcing axioms as principles of generic absoluteness.Joan Bagaria - 2000 - Archive for Mathematical Logic 39 (6):393-401.
    We show that Bounded Forcing Axioms (for instance, Martin's Axiom, the Bounded Proper Forcing Axiom, or the Bounded Martin's Maximum) are equivalent to principles of generic absoluteness, that is, they assert that if a $\Sigma_1$ sentence of the language of set theory with parameters of small transitive size is forceable, then it is true. We also show that Bounded Forcing Axioms imply a strong form of generic absoluteness for projective sentences, namely, if a $\Sigma^1_3$ sentence with parameters is forceable, then (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  • Bounded forcing axioms and the continuum.David Asperó & Joan Bagaria - 2001 - Annals of Pure and Applied Logic 109 (3):179-203.
    We show that bounded forcing axioms are consistent with the existence of -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 call BMM3 implies 21=2, as well as a stationary reflection principle which has many of the consequences of Martin's Maximum for objects of size 2. Finally, we give an (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations