Mice with finitely many Woodin cardinals from optimal determinacy hypotheses

Sandra Müller, Ralf Schindler, W. Hugh Woodin

Type: Preprint

Publication Date: 2019-02-15

Citations: 5

Similar Works

Action	Title	Year	Authors
+	Mice with finitely many Woodin cardinals from optimal determinacy hypotheses	2019	Sandra Müller Ralf Schindler W. Hugh Woodin
+ PDF Chat	Mice with finitely many Woodin cardinals from optimal determinacy hypotheses	2019	Sandra Müller Ralf Schindler W. Hugh Woodin
+	Lightface mice with finitely many Woodin cardinals from optimal determinacy hypotheses	2016	Yizheng Zhu
+	Determinacy and Woodin limits of Woodin cardinals	2023
+ PDF Chat	Mice with Woodin cardinals from a Reinhardt	2024	Farmer Schlutzenberg
+ PDF Chat	IN INNER MODELS WITH WOODIN CARDINALS	2021	Sandra Müller Grigor Sargsyan
+ PDF Chat	Some Results on Tight Stationarity, University of California, Los Angeles, USA, 2016. Supervised by Itay Neeman	2018	William Chen
+	OPTIMAL PROOFS OF DETERMINACY II	2002	Itay Neeman
+	Iterates of $M_1$	2017	Yizheng Zhu
+	Large Cardinals from Determinacy	2009	Peter Koellner W. Hugh Woodin
+	HOD in inner models with Woodin cardinals	2020	Sandra Müller Grigor Sargsyan
+ PDF Chat	𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability	2021	Grigor Sargsyan Nam Trang
+ PDF Chat	Iterates of $M_1$	2018	Yizheng Zhu
+	The Mouse Set Theorem Just Past Projective	2023	Mitch Rudominer
+	Projective Determinacy	2014	Ralf Schindler
+ PDF Chat	Building Models of Determinacy from Below	2024	Obrad Kasum Grigor Sargsyan
+	HOD in inner models with Woodin cardinals	2020	Sandra Müller Grigor Sargsyan
+	Iterates of $M_1$	2017	Yizheng Zhu
+	GAMES OF LENGTH ω<sub>1</sub>	2007	Itay Neeman
+	Inner models with many Woodin cardinals	1993	John R. Steel

Action	Title	Year	Authors
+	Games of countable length	2020	Donald A. Martin
+	The extender algebra and Σ21-absoluteness	2020	Ilijas Farah
+	“AD plus Uniformization” is equivalent to “Half ADR”	2020	Alexander S. Kechris
+ PDF Chat	The fourteen Victoria Delfino problems and their status in the year 2020	2020	Andrés Eduardo Caicedo B. T. Low
+	Long Borel Games	2019	Juan P. Aguilera

Action	Title	Year	Authors
+	A Core Model Toolbox and Guide	2009	Ernest Schimmerling
+	Fine Structure and Iteration Trees	2017	William J. Mitchell John R. Steel
+ PDF Chat	Measurable cardinals and analytic games	1970	Donald Matrin
+	Descriptive Set Theory	1980	Yiannis N. Moschovakis
+	The Core Model Iterability Problem	1996	John R. Steel
+	Coding into 𝐾 by reasonable forcing	2000	Ralf‐Dieter Schindler
+	Optimal Proofs of Determinacy	1995	Itay Neeman
+ PDF Chat	On the relative consistency strength of determinacy hypotheses	1985	Alexander S. Kechris Robert M Solovay
+ PDF Chat	The perfect set theorem and definable wellorderings of the continuum	1978	Alexander S. Kechris
+	OPTIMAL PROOFS OF DETERMINACY II	2002	Itay Neeman