Square principles in ℙmax extensions

[1]  William J. Mitchell,et al.  Fine Structure and Iteration Trees , 2017, Lecture Notes in Logic.

[2]  G. Sargsyan.  Hod Mice and the Mouse Set Conjecture , 2015 .

[3]  John Steel,et al.  THE MOUSE SET CONJECTURE FOR SETS OF REALS , 2015, The Journal of Symbolic Logic.

[4]  Martin Zeman,et al.  Global square sequences in extender models , 2010, Ann. Pure Appl. Log..

[5]  Ernest Schimmerling,et al.  Coherent sequences and threads , 2007 .

[6]  Ernest Schimmerling,et al.  Characterization of □κ in Core Models , 2004, J. Math. Log..

[7]  Yasuo Yoshinobu,et al.  Fragments of Martin's Maximum in generic extensions , 2004, Math. Log. Q..

[8]  Per-Åke Larson,et al.  Separating stationary reflection principles , 2000, Journal of Symbolic Logic.

[9]  W. Hugh Woodin,et al.  The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal , 1999 .

[10]  John R. Steel,et al.  The Core Model Iterability Problem , 1997, Lecture Notes in Logic.

[11]  Ronald B. Jensen,et al.  Inner Models and Large Cardinals , 1995, Bulletin of Symbolic Logic.

[12]  James E. Baumgartner,et al.  A new class of order types , 1976 .

[13]  R. Jensen,et al.  The fine structure of the constructible hierarchy , 1972 .

[14]  Benjamin Naumann,et al.  Classical Descriptive Set Theory , 2016 .

[15]  M. Baaz,et al.  Compactness and incompactness phenomena in set theory , 2016 .

[16]  R. Schindler.  Descriptive Set Theory , 2014 .

[17]  G. Sargsyan.  The analysis of HOD below the theory AD+“The , 2014 .

[18]  G. Sargsyan.  The comparison theory of hod pairs below AD + + “ The largest Suslin cardinal is a member of the Solovay sequence ” ∗ † , 2013 .

[19]  S. Stanton.  The Axiom of Determinacy , 2010 .

[20]  Richard Ketchersid,et al.  A trichotomy theorem in natural models of AD , 2010 .

[21]  W. Hugh Woodin,et al.  Large Cardinals from Determinacy , 2010 .

[22]  John R. Steel,et al.  An Outline of Inner Model Theory , 2010 .

[23]  M. Foreman,et al.  Handbook of Set Theory , 2010 .

[24]  Paul B. Larson,et al.  Forcing over Models of Determinacy , 2010 .

[25]  A. Kanamori.  The higher infinite : large cardinals in set theory from their beginnings , 2005 .

[26]  Stevo Todorcevic,et al.  Localized reflection and fragments of PFA , 1999, Set Theory: The Hajnal Conference.

[27]  A. Kanamori.  The Higher Infinite , 1994 .