| Publication | Date of Publication | Type |
|---|
| Large cardinals at the brink | 2023-10-12 | Paper |
| The Continuum Hypothesis | 2023-04-05 | Paper |
| Turing Determinacy and Suslin sets | 2022-05-17 | Paper |
| Some consistency results in ZFC using AD | 2021-11-12 | Paper |
| AD and the uniqueness of the supercompact measures on ℘ꞷ1 (λ) | 2021-11-12 | Paper |
| Mice with finitely many Woodin cardinals from optimal determinacy hypotheses | 2021-05-20 | Paper |
| HODas a core model | 2020-03-09 | Paper |
| LARGE CARDINALS BEYOND CHOICE | 2019-10-29 | Paper |
| Open class determinacy is preserved by forcing | 2018-06-28 | Paper |
| The universal finite set | 2017-11-21 | Paper |
| IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES | 2017-07-21 | Paper |
| The HOD Dichotomy | 2017-07-11 | Paper |
| The weak ultrafilter axiom | 2016-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4982460 | 2015-04-09 | Paper |
| ORACLE QUESTIONS | 2015-03-16 | Paper |
| DETERMINACY AND JÓNSSON CARDINALS INL(ℝ) | 2015-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2856503 | 2013-10-29 | Paper |
| SUITABLE EXTENDER MODELS II: BEYOND ω-HUGE | 2012-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3118395 | 2012-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3096573 | 2011-11-11 | Paper |
| SUITABLE EXTENDER MODELS I | 2011-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3012514 | 2011-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3012515 | 2011-07-06 | Paper |
| Large Cardinals from Determinacy | 2010-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5748195 | 2010-09-14 | Paper |
| Incompatible Ω-Complete Theories | 2010-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607633 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607634 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607635 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3611514 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3597426 | 2009-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3530408 | 2008-10-20 | Paper |
| The ground axiom is consistent with V $\neq $ HOD | 2008-08-07 | Paper |
| On the consistency strength of the inner model hypothesis | 2008-06-09 | Paper |
| The strength of the Inner Model Hypothesis | 2007-11-05 | Paper |
| The cardinals below \(|[\omega_{1}^{<\omega _{1}}|\)] | 2006-06-16 | Paper |
| The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal | 2005-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5316372 | 2005-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4663828 | 2005-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2776273 | 2004-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4418798 | 2003-08-13 | Paper |
| The Jensen Covering Property | 2003-05-29 | Paper |
| \(P\)-points in \(\mathbb Q_{\max}\) models | 2003-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2756771 | 2001-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2756776 | 2001-11-18 | Paper |
| Small forcing creates neither strong nor Woodin cardinals | 2000-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247038 | 2000-06-13 | Paper |
| sets and singletons | 2000-02-15 | Paper |
| The axiom of determinacy, forcing axioms, and the nonstationary ideal | 1999-09-29 | Paper |
| Complexity of reals in inner models of set theory | 1999-06-24 | Paper |
| Extending partial orders to dense linear orders | 1999-06-24 | Paper |
| Definability in the enumeration degrees | 1999-02-04 | Paper |
| sets of reals | 1998-04-29 | Paper |
| The universe constructed from a sequence of ordinals | 1997-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4893759 | 1996-09-24 | Paper |
| \undertilde{𝛿}₂¹ without sharps | 1996-09-15 | Paper |
| Large cardinal axioms and independence: The continuum problem revisited | 1995-03-08 | Paper |
| A Discontinuous Homomorphism from C(X) without CH | 1995-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694294 | 1993-06-29 | Paper |
| A strong boundedness theorem for dilators | 1992-06-25 | Paper |
| The generalized continuum hypothesis can fail everywhere | 1991-01-01 | Paper |
| The Borel conjecture | 1990-01-01 | Paper |
| Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3480037 | 1989-01-01 | Paper |
| Supercompact cardinals, sets of reals, and weakly homogeneous trees | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3765764 | 1987-01-01 | Paper |
| The Structure of σ-Ideals of Compact Sets | 1987-01-01 | Paper |
| Definability in the Turing degrees | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3753998 | 1986-01-01 | Paper |
| Ranks of differentiable functions | 1986-01-01 | Paper |
| Two weak consequences of 0# | 1985-01-01 | Paper |
| Saturation of the Closed Unbounded Filter on the Set of Regular Cardinals | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3724321 | 1985-01-01 | Paper |
| Forcing the failure of CH by adding a real | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3342563 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3342565 | 1983-01-01 | Paper |
| Equivalence of partition properties and determinacy | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3333028 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3944598 | 1981-01-01 | Paper |