Switch to: References

Citations of:

Co-stationarity of the Ground Model

Natasha Dobrinen & Sy-David Friedman

Journal of Symbolic Logic 71 (3):1029 - 1043 (2006)

Add citations

You must login to add citations.

Internal consistency and the inner model hypothesis.Sy-David Friedman - 2006 - Bulletin of Symbolic Logic 12 (4):591-600.details 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 (...) Download Export citation Bookmark 20 citations
2007 Annual Meeting of the Association for Symbolic Logic.Mirna Džamonja - 2007 - Bulletin of Symbolic Logic 13 (3):386-408.details Download Export citation Bookmark
Some applications of mixed support iterations.John Krueger - 2009 - Annals of Pure and Applied Logic 158 (1-2):40-57.details 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 (...) Download Export citation Bookmark 3 citations

1