Switch to: References

Add citations

You must login to add citations.
  1. Some applications of mixed support iterations.John Krueger - 2009 - Annals of Pure and Applied Logic 158 (1-2):40-57.
    We give some applications of mixed support forcing iterations to the topics of disjoint stationary sequences and internally approachable sets. In the first half of the paper we study the combinatorial content of the idea of a disjoint stationary sequence, including its relation to adding clubs by forcing, the approachability ideal, canonical structure, the proper forcing axiom, and properties related to internal approachability. In the second half of the paper we present some consistency results related to these ideas. We construct (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Internal consistency and the inner model hypothesis.Sy-David Friedman - 2006 - Bulletin of Symbolic Logic 12 (4):591-600.
    There are two standard ways to establish consistency in set theory. One is to prove consistency using inner models, in the way that Gödel proved the consistency of GCH using the inner model L. The other is to prove consistency using outer models, in the way that Cohen proved the consistency of the negation of CH by enlarging L to a forcing extension L[G].But we can demand more from the outer model method, and we illustrate this by examining Easton's strengthening (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  • 2007 Annual Meeting of the Association for Symbolic Logic.Mirna Džamonja - 2007 - Bulletin of Symbolic Logic 13 (3):386-408.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•