| Publication | Date of Publication | Type |
|---|
| The comparison lemma | 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 |
| Ordinal definability in models of determinacy. Introduction to Part V | 2020-03-09 | Paper |
| A theorem of Woodin on mouse sets | 2020-03-09 | Paper |
| HODas a core model | 2020-03-09 | Paper |
| Definable functions on degrees | 2020-03-09 | Paper |
| Martin's conjecture, arithmetic equivalence, and countable Borel equivalence relations | 2020-03-09 | Paper |
| Square principles in \(\mathbb{P}_{\max}\) extensions | 2017-04-28 | Paper |
| Equiconsistencies at subcompact cardinals | 2016-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3464650 | 2016-01-27 | Paper |
| THE MOUSE SET CONJECTURE FOR SETS OF REALS | 2015-08-14 | Paper |
| Determinacy from strong reflection | 2014-09-17 | Paper |
| Comparison of fine structural mice via coarse iteration | 2014-08-29 | Paper |
| KWithout the Measurable | 2014-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3118347 | 2012-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3118348 | 2012-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3118351 | 2012-03-02 | Paper |
| An Outline of Inner Model Theory | 2010-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3656432 | 2010-01-13 | Paper |
| The self-iterability of L[E] | 2009-09-29 | Paper |
| Stacking mice | 2009-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607618 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607621 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607624 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607626 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607627 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607629 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607630 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3611513 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3597425 | 2009-02-09 | Paper |
| Scales in K(ℝ) at the end of a weak gap | 2008-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5450105 | 2008-03-19 | Paper |
| Local Kc constructions | 2007-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5295692 | 2007-07-30 | Paper |
| Counterexamples to the unique and cofinal branches hypotheses | 2006-11-29 | Paper |
| Distinct iterable branches | 2006-09-06 | Paper |
| PFA implies ADL(ℝ) | 2006-09-06 | Paper |
| Deconstructing inner model theory | 2003-08-24 | Paper |
| Core models with more Woodin cardinals | 2003-06-13 | Paper |
| The domestic levels of \(K^c\) are iterable | 2003-04-03 | Paper |
| Does Mathematics Need New Axioms? | 2001-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934561 | 2001-02-26 | Paper |
| A weak Dodd-Jensen lemma | 2000-06-22 | Paper |
| The maximality of the core model | 1999-05-19 | Paper |
| How to win some simple iteration games | 1998-10-01 | Paper |
| The covering lemma up to a Woodin cardinal | 1997-07-08 | Paper |
| Fine structure for tame inner models | 1997-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5690487 | 1997-01-19 | Paper |
| HODL(ℝ) is a Core Model Below Θ | 1995-11-28 | Paper |
| Projectively well-ordered inner models | 1995-09-18 | Paper |
| Iteration Trees | 1995-03-15 | Paper |
| The well-foundedness of the Mitchell order | 1995-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4291791 | 1994-05-10 | Paper |
| Inner models with many Woodin cardinals | 1994-03-07 | Paper |
| Complementation in the Turing degrees | 1989-01-01 | Paper |
| A Proof of Projective Determinacy | 1989-01-01 | Paper |
| Projective determinacy | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3804698 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3832563 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789551 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3310607 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3310608 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3682478 | 1983-01-01 | Paper |
| A classification of jump operators | 1982-01-01 | Paper |
| Two Consequences of Determinacy Consistent with Choice | 1982-01-01 | Paper |
| Determinacy in the Mitchell models | 1982-01-01 | Paper |
| The extent of definable scales | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3944599 | 1981-01-01 | Paper |
| Determinateness and the separation property | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960840 | 1981-01-01 | Paper |
| Analytic sets and Borel isomorphisms | 1980-01-01 | Paper |
| A Note On Analytic Sets | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4187801 | 1978-01-01 | Paper |
| Forcing with tagged trees | 1978-01-01 | Paper |
| Descending sequences of degrees | 1975-01-01 | Paper |
