Deconstructing inner model theory

Ralf‐Dieter Schindler, John R. Steel, Martin Zeman

Type: Article

Publication Date: 2002-06-01

Citations: 42

DOI: https://doi.org/10.2178/jsl/1190150106

Similar Works

Action	Title	Year	Authors
+	An Introduction to Extenders and Core Models for Extender Sequences	1989	Peter Koepke
+	Inner models with large cardinal features usually obtained by forcing	2011	Arthur W. Apter Victoria Gitman Joel David Hamkins
+	Inner models with large cardinal features usually obtained by forcing	2011	Arthur W. Apter Victoria Gitman Joel David Hamkins
+	Forcing notions in inner models	2009	David Asperó
+	Consistency Strength of Stationary Catching	2015	Andres Forero Cuervo
+	Descriptive inner model theory	2012	Grigor Sargsyan
+	0<sup>#</sup> and inner models	2002	Sy D. Friedman
+	Contributions to Descriptive Set Theory	2016	Cody Dance
+	Large sets in constructive set theory	2014	Albert Ziegler
+	SUITABLE EXTENDER MODELS I	2010	W. Hugh Woodin
+ PDF Chat	Descriptive inner model theory	2013	Grigor Sargsyan
+	Coding into 𝐾 by reasonable forcing	2000	Ralf‐Dieter Schindler
+	Structural Properties of the Stable Core	2019	Sy‐David Friedman Victoria Gitman Sandra Müller
+	On Local Club Condensation	2021	Gabriel Fernandes
+	On Local Club Condensation	2021	Gabriel Fernandes
+ PDF Chat	On the consistency strength of the inner model hypothesis	2008	Sy‐David Friedman Philip Welch W. Hugh Woodin
+	Contributions to Descriptive Inner Model Theory	2012	Trevor M. Wilson
+	Inner Models from Extended Logics: Part 1	2020	Juliette Kennedy Menachem Magidor Jouko Väänánen
+	Properness Without Elementaricity	2004	Saharon Shelah
+	Inner Models for Large Cardinals	2012	William J. Mitchell

Action	Title	Year	Authors
+	Projective Games on the Reals	2020	Juan P. Aguilera Sandra Müller
+	Projective Games on the Reals	2019	Juan P. Aguilera Sandra Müller
+	The definability of $\mathbb{E}$ in self-iterable mice	2014	Farmer Schlutzenberg
+ PDF Chat	The axiom of determinacy implies dependent choice in mice	2019	Sandra Müller
+	Inner Models for Large Cardinals	2012	William J. Mitchell
+ PDF Chat	Mice with finitely many Woodin cardinals from optimal determinacy hypotheses	2019	Sandra Müller Ralf Schindler W. Hugh Woodin
+	The core model for almost linear iterations	2002	Ralf‐Dieter Schindler
+	<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>λ</mml:mi></mml:math>-structures and <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si2.gif" display="inline" overflow="scroll"><mml:mi>s</mml:mi></mml:math>-structures: Translating the iteration strategies	2011	Günter Fuchs
+	The definability of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.svg"><mml:mi mathvariant="double-struck">E</mml:mi></mml:math> in self-iterable mice	2022	Farmer Schlutzenberg
+	Hod mice and the Mouse Set Conjecture	2014	Grigor Sargsyan

Action	Title	Year	Authors
+	Fine Structure and Iteration Trees	2017	William J. Mitchell John R. Steel
+	The Core Model Iterability Problem	1996	John R. Steel
+	Combinatorial principles in the core model for one Woodin cardinal	1995	Ernest Schimmerling
+	A weak Dodd-Jensen lemma	1999	Itay Neeman John R. Steel