| Publication | Date of Publication | Type |
|---|
| An introduction to iterated ultrapowers | 2024-09-09 | Paper |
The comparison lemma
Annals of Pure and Applied Logic | 2023-10-12 | Paper |
| $\Sigma_1$ gaps as derived models and correctness of mice | 2023-07-17 | Paper |
| A Comparison Process for Mouse Pairs | 2022-10-03 | Paper |
| Full normalization for mouse pairs | 2022-07-22 | Paper |
| Suslin cardinals and cutpoints in mouse limits | 2022-07-08 | Paper |
| Condensation for Mouse Pairs | 2022-07-07 | Paper |
| On Vaught’s conjecture | 2021-11-12 | Paper |
HODas a core model
Ordinal Definability and Recursion Theory The Cabal Seminar Volume III | 2020-03-09 | Paper |
A theorem of Woodin on mouse sets
Ordinal Definability and Recursion Theory The Cabal Seminar Volume III | 2020-03-09 | Paper |
Definable functions on degrees
Ordinal Definability and Recursion Theory The Cabal Seminar Volume III | 2020-03-09 | Paper |
Martin's conjecture, arithmetic equivalence, and countable Borel equivalence relations
Ordinal Definability and Recursion Theory The Cabal Seminar Volume III | 2020-03-09 | Paper |
Ordinal definability in models of determinacy. Introduction to Part V
Ordinal Definability and Recursion Theory The Cabal Seminar Volume III | 2020-03-09 | Paper |
Square principles in \(\mathbb{P}_{\max}\) extensions
Israel Journal of Mathematics | 2017-04-28 | Paper |
Equiconsistencies at subcompact cardinals
Archive for Mathematical Logic | 2016-03-02 | Paper |
| Gödel's program | 2016-01-27 | Paper |
The mouse set conjecture for sets of reals
Journal of Symbolic Logic | 2015-08-14 | Paper |
Determinacy from strong reflection
Transactions of the American Mathematical Society | 2014-09-17 | Paper |
Comparison of fine structural mice via coarse iteration
Archive for Mathematical Logic | 2014-08-29 | Paper |
\(K\) without the measurable
The Journal of Symbolic Logic | 2014-01-07 | Paper |
| More measures from AD | 2012-03-02 | Paper |
| scientific article; zbMATH DE number 6010993 (Why is no real title available?) | 2012-03-02 | Paper |
| scientific article; zbMATH DE number 6010994 (Why is no real title available?) | 2012-03-02 | Paper |
An outline of inner model theory
Handbook of Set Theory | 2010-11-05 | Paper |
| The derived model theorem | 2010-01-13 | Paper |
The self-iterability of L[E]
Journal of Symbolic Logic | 2009-09-29 | Paper |
Stacking mice
Journal of Symbolic Logic | 2009-03-25 | Paper |
| Scales in \({\mathbf K}(\mathbb R)\) | 2009-03-02 | Paper |
| scientific article; zbMATH DE number 5521851 (Why is no real title available?) | 2009-03-02 | Paper |
| scientific article; zbMATH DE number 5521846 (Why is no real title available?) | 2009-03-02 | Paper |
| scientific article; zbMATH DE number 5521848 (Why is no real title available?) | 2009-03-02 | Paper |
| The tree of a Moschovakis scale is homogeneous | 2009-03-02 | Paper |
| Games and scales. Introduction to Part I | 2009-03-02 | Paper |
| scientific article; zbMATH DE number 5521843 (Why is no real title available?) | 2009-03-02 | Paper |
| scientific article; zbMATH DE number 5521852 (Why is no real title available?) | 2009-03-02 | Paper |
| scientific article; zbMATH DE number 5504385 (Why is no real title available?) | 2009-02-09 | Paper |
Scales in K(ℝ) at the end of a weak gap
Journal of Symbolic Logic | 2008-06-09 | Paper |
| scientific article; zbMATH DE number 5251090 (Why is no real title available?) | 2008-03-19 | Paper |
Local Kc constructions
Journal of Symbolic Logic | 2007-10-17 | Paper |
| A stationary-tower-free proof of the derived model theorem | 2007-07-30 | Paper |
Counterexamples to the unique and cofinal branches hypotheses
Journal of Symbolic Logic | 2006-11-29 | Paper |
PFA implies ADL(ℝ)
Journal of Symbolic Logic | 2006-09-06 | Paper |
Distinct iterable branches
Journal of Symbolic Logic | 2006-09-06 | Paper |
Deconstructing inner model theory
Journal of Symbolic Logic | 2003-08-24 | Paper |
Core models with more Woodin cardinals
Journal of Symbolic Logic | 2003-06-13 | Paper |
The domestic levels of \(K^c\) are iterable
Israel Journal of Mathematics | 2003-04-03 | Paper |
Does mathematics need new axioms?
The Bulletin of Symbolic Logic | 2001-07-26 | Paper |
| scientific article; zbMATH DE number 1390274 (Why is no real title available?) | 2001-02-26 | Paper |
A weak Dodd-Jensen lemma
Journal of Symbolic Logic | 2000-06-22 | Paper |
The maximality of the core model
Transactions of the American Mathematical Society | 1999-05-19 | Paper |
How to win some simple iteration games
Annals of Pure and Applied Logic | 1998-10-01 | Paper |
The covering lemma up to a Woodin cardinal
Annals of Pure and Applied Logic | 1997-07-08 | Paper |
Fine structure for tame inner models
Journal of Symbolic Logic | 1997-05-12 | Paper |
| scientific article; zbMATH DE number 967740 (Why is no real title available?) | 1997-01-19 | Paper |
HODL(ℝ) is a Core Model Below Θ
The Bulletin of Symbolic Logic | 1995-11-28 | Paper |
Projectively well-ordered inner models
Annals of Pure and Applied Logic | 1995-09-18 | Paper |
| Iteration Trees | 1995-03-15 | Paper |
The well-foundedness of the Mitchell order
Journal of Symbolic Logic | 1995-01-24 | Paper |
| scientific article; zbMATH DE number 567513 (Why is no real title available?) | 1994-05-10 | Paper |
Inner models with many Woodin cardinals
Annals of Pure and Applied Logic | 1994-03-07 | Paper |
| A Proof of Projective Determinacy | 1989-01-01 | Paper |
Complementation in the Turing degrees
Journal of Symbolic Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4108753 (Why is no real title available?) | 1988-01-01 | Paper |
Projective determinacy
Proceedings of the National Academy of Sciences | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4072961 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4053601 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3839943 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3839944 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3904578 (Why is no real title available?) | 1983-01-01 | Paper |
A classification of jump operators
Journal of Symbolic Logic | 1982-01-01 | Paper |
| Two Consequences of Determinacy Consistent with Choice | 1982-01-01 | Paper |
Determinacy in the Mitchell models
Annals of Mathematical Logic | 1982-01-01 | Paper |
The extent of definable scales
Bulletin of the American Mathematical Society | 1982-01-01 | Paper |
Determinateness and the separation property
Journal of Symbolic Logic | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3781160 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3762049 (Why is no real title available?) | 1981-01-01 | Paper |
Analytic sets and Borel isomorphisms
Fundamenta Mathematicae | 1980-01-01 | Paper |
| A Note On Analytic Sets | 1980-01-01 | Paper |
Forcing with tagged trees
Annals of Mathematical Logic | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3625360 (Why is no real title available?) | 1978-01-01 | Paper |
Descending sequences of degrees
Journal of Symbolic Logic | 1975-01-01 | Paper |
