Core models with more Woodin cardinals

John R. Steel

Type: Article

Publication Date: 2002-09-01

Citations: 40

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

Similar Works

Action	Title	Year	Authors
+	Core models in the presence of Woodin cardinals	2003	Ralf Schindler
+	Core models in the presence of Woodin cardinals	2006	Ralf Schindler
+	On a Conjecture Regarding the Mouse Order for Weasels	2022	Jan Kruschewski Farmer Schlutzenberg
+	Fine structure for tame inner models	1996	Ernest Schimmerling John R. Steel
+	More Mice and Iteration Trees	2022
+	On the derived models of self iterable universes	2021	Grigor Sargsyan Takehiko Gappo
+	A covering theorem for the core model below a Woodin cardinal	2019	Ryan Sullivant
+	Phalanx Iteration Into a Construction	2022
+	A boundedness lemma for iterations	2001	Greg Hjorth
+	Scales in <i>K</i>(ℝ) at the end of a weak gap	2008	John R. Steel
+ PDF Chat	Mice with Woodin cardinals from a Reinhardt	2024	Farmer Schlutzenberg
+	A premouse inheriting strong cardinals from $V$	2015	Farmer Schlutzenberg
+	A premouse inheriting strong cardinals from $V$	2015	Farmer Schlutzenberg
+	Distinct iterable branches	2005	John R. Steel
+	The definability of the extender sequence $\mathbb{E}$ from $\mathbb{E}{\upharpoonright}\aleph_1$ in $L[\mathbb{E}]$	2019	Farmer Schlutzenberg
+	A universal extender model without large cardinals in <i>V</i>	2004	William J. Mitchell Ralf Schindler
+	A premouse inheriting strong cardinals from V	2020	Farmer Schlutzenberg
+	Background-Induced Iteration Strategies	2022
+	Iterates of the core model	2006	Ralf Schindler
+ PDF Chat	Weak covering without countable closure	1995	William J. Mitchell Ernest Schimmerling

Action	Title	Year	Authors
+	Iterates of the core model	2006	Ralf Schindler
+ PDF Chat	SEALING OF THE UNIVERSALLY BAIRE SETS	2021	Grigor Sargsyan Nam Trang
+	Beginning Inner Model Theory	2009	William J. Mitchell
+	The definability of $\mathbb{E}$ in self-iterable mice	2014	Farmer Schlutzenberg
+	Inner Models for Large Cardinals	2012	William J. Mitchell
+ PDF Chat	Tree forcings and sharps	2016	Fabiana Castiblanco Philipp Schlicht
+ PDF Chat	Iterability for (transfinite) stacks	2020	Farmer Schlutzenberg
+	Thin equivalence relations and inner models	2014	Philipp Schlicht
+	Core models in the presence of Woodin cardinals	2006	Ralf Schindler
+	The core model for almost linear iterations	2002	Ralf‐Dieter Schindler

Action	Title	Year	Authors
+	Fine Structure and Iteration Trees	2017	William J. Mitchell John R. Steel
+	The maximality of the core model	1999	Ernest Schimmerling John R. Steel
+	The Core Model Iterability Problem	1996	John R. Steel
+ PDF Chat	The covering lemma up to a Woodin cardinal	1997	William J. Mitchell Ernest Schimmerling John R. Steel
+	Inner models with many Woodin cardinals	1993	John R. Steel
+	Fine structure for tame inner models	1996	Ernest Schimmerling John R. Steel
+	A weak Dodd-Jensen lemma	1999	Itay Neeman John R. Steel
+	The well-foundedness of the Mitchell order	1993	John R. Steel
+	THE DOMESTIC LEVELS OF K c ARE ITERABLE	2001	Alessandro Andretta Itay Neeman John R. Steel
+	Iteration trees	1994	Donald A. Martin John R. Steel