- Nontame mouse from the failure of square at a singular strong limit cardinal.Grigor Sargsyan - 2014 - Journal of Mathematical Logic 14 (1):1450003.details
|
|
(1 other version)A new class of order types.James E. Baumgartner - 1976 - Annals of Mathematical Logic 9 (3):187-222.details
|
|
(1 other version)The negation of the singular cardinal hypothesis from o(K)=K++.Moti Gitik - 1989 - Annals of Pure and Applied Logic 43 (3):209-234.details
|
|
Large cardinals and definable counterexamples to the continuum hypothesis.Matthew Foreman & Menachem Magidor - 1995 - Annals of Pure and Applied Logic 76 (1):47-97.details
|
|
(1 other version)The covering lemma up to a Woodin cardinal.W. J. Mitchell, E. Schimmerling & J. R. Steel - 1997 - Annals of Pure and Applied Logic 84 (2):219-255.details
|
|
(2 other versions)Squares, scales and stationary reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.details
|
|
Full reflection of stationary sets below ℵω.Thomas Jech & Saharon Shelah - 1990 - Journal of Symbolic Logic 55 (2):822 - 830.details
|
|
(1 other version)Square in core models.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.details
|
|
Combinatorial principles in the core model for one Woodin cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.details
|
|
Characterization of □κin core models.Ernest Schimmerling & Martin Zeman - 2004 - Journal of Mathematical Logic 4 (01):1-72.details
|
|
(1 other version)A new class of order types.James E. Baumgartner - 1976 - Annals of Mathematical Logic 9 (3):187.details
|
|
λ-structures and s-structures: Translating the models.Gunter Fuchs - 2011 - Annals of Pure and Applied Logic 162 (4):257-317.details
|
|
(1 other version)Square In Core Models, By, Pages 305 -- 314.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.details
|
|
Stacking mice.Ronald Jensen, Ernest Schimmerling, Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (1):315-335.details
|
|
PFA Implies ADL(R).John R. Steel - 2005 - Journal of Symbolic Logic 70 (4):1255 - 1296.details
|
|
The non-compactness of square.James Cummings, Matthew Foreman & Menachem Magidor - 2003 - Journal of Symbolic Logic 68 (2):637-643.details
|
|
(1 other version)The negation of the singular cardinal hypothesis from< i> o(< i> K)=< i> K_< sup>++.Moti Gitik - 1989 - Annals of Pure and Applied Logic 43 (3):209-234.details
|
|
λ-structures and s-structures: Translating the iteration strategies.Gunter Fuchs - 2011 - Annals of Pure and Applied Logic 162 (9):710-751.details
|
|
Suitable extender models I.W. Hugh Woodin - 2010 - Journal of Mathematical Logic 10 (1):101-339.details
|
|
The weak □* is really weaker than the full □.Shai Ben-David & Menachem Magidor - 1986 - Journal of Symbolic Logic 51 (4):1029 - 1033.details
|
|
(2 other versions)Scales, squares and reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (1):35-98.details
|
|
Suitable extender models II: Beyond ω-huge.W. Hugh Woodin - 2011 - Journal of Mathematical Logic 11 (2):115-436.details
|
|
Some exact equiconsistency results in set theory.Leo Harrington & Saharon Shelah - 1985 - Notre Dame Journal of Formal Logic 26 (2):178-188.details
|
|
(1 other version)A finite family weak square principle.Ernest Schimmerling - 1999 - Journal of Symbolic Logic 64 (3):1087-1110.details
|
|
Full Reflection of Stationary Sets Below $aleph_omega$.Thomas Jech & Saharon Shelah - 1990 - Journal of Symbolic Logic 55 (2):822-830.details
|
|
Chang’s Conjecture and weak square.Hiroshi Sakai - 2013 - Archive for Mathematical Logic 52 (1-2):29-45.details
|
|
The Weak $square^ast$ is Really Weaker than the Full $square$.Shai Ben-David & Menachem Magidor - 1986 - Journal of Symbolic Logic 51 (4):1029-1033.details
|
|
(1 other version)A Finite Family Weak Square Principle.Ernest Schimmerling - 1999 - Journal of Symbolic Logic 64 (3):1087-1110.details
|
|