| Publication | Date of Publication | Type |
|---|
| PFA and the definability of the nonstationary ideal | 2023-10-20 | Paper |
| When is a real generic over L? | 2023-09-12 | Paper |
| How many real numbers are there? | 2023-07-12 | Paper |
| Coding over Core Models | 2022-09-18 | Paper |
| Forcing Axioms and the Definabilty of the Nonstationary Ideal on $\omega_1$ | 2022-08-10 | Paper |
| THE CONSISTENCY STRENGTH OF THE PERFECT SET PROPERTY FOR UNIVERSALLY BAIRE SETS OF REALS | 2022-06-15 | Paper |
| Mazurkiewicz sets with no well-ordering of the reals | 2022-06-03 | Paper |
| Tall cardinals in extender models | 2022-02-14 | Paper |
| Definable Hamel bases and ${\sf AC}_\omega ({\mathbb R})$ | 2021-11-03 | Paper |
| Varsovian models II | 2021-10-22 | Paper |
| Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) | 2021-06-01 | Paper |
| Mice with finitely many Woodin cardinals from optimal determinacy hypotheses | 2021-05-20 | Paper |
| Inner-model reflection principles | 2020-06-09 | Paper |
| ${\sf MM}^{++}$ implies $(*)$ | 2019-06-24 | Paper |
| Tall cardinals in extender models | 2019-05-24 | Paper |
| THE SOLIDITY AND NONSOLIDITY OF INITIAL SEGMENTS OF THE CORE MODEL | 2018-10-26 | Paper |
| Virtual large cardinals | 2018-10-18 | Paper |
| A model with everything except for a well-ordering of the reals | 2018-09-27 | Paper |
| VARSOVIAN MODELS I | 2018-08-10 | Paper |
| Hamel bases and well–ordering the continuum | 2018-06-04 | Paper |
| The long extender algebra | 2018-02-09 | Paper |
| SQUARE WITH BUILT-IN DIAMOND-PLUS | 2017-09-26 | Paper |
| Σ1(κ)-DEFINABLE SUBSETS OF H(κ+) | 2017-09-26 | Paper |
| Woodin’s axiom (*), or Martin’s Maximum, or both? | 2017-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4976981 | 2017-08-03 | Paper |
| Square principles in \(\mathbb{P}_{\max}\) extensions | 2017-04-28 | Paper |
| INNER MODEL THEORETIC GEOLOGY | 2017-04-28 | Paper |
| Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom | 2017-02-24 | Paper |
| Hyperreal-valued probability measures approximating a real-valued measure | 2016-09-01 | Paper |
| HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC | 2015-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4982452 | 2015-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4982459 | 2015-04-09 | Paper |
| Bounded Martin's maximum with an asterisk | 2014-09-02 | Paper |
| Set theory. Exploring independence and truth | 2014-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5747257 | 2014-02-11 | Paper |
| Book review: Lorenz J. Halbeisen: ``Combinatorial set theory | 2013-11-13 | Paper |
| Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω1 | 2012-06-19 | Paper |
| Thin equivalence relations in scaled pointclasses | 2011-12-23 | Paper |
| Fine Structure | 2010-11-05 | Paper |
| A criterion for coarse iterability | 2010-05-17 | Paper |
| \(\Pi_2\) consequences of \(\mathsf{BMM}+\mathsf{NS}_{\omega_1}\) is precipitous and the semiproperness of stationary set preserving forcings | 2010-05-14 | Paper |
| The self-iterability of L[E] | 2009-09-29 | Paper |
| The strength of choiceless patterns of singular and weakly compact cardinals | 2009-06-10 | Paper |
| Increasing u2 by a stationary set preserving forcing | 2009-03-25 | Paper |
| Stacking mice | 2009-03-25 | Paper |
| Logical foundations of mathematics | 2009-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3425071 | 2007-03-05 | Paper |
| Core models in the presence of Woodin cardinals | 2007-01-19 | Paper |
| Projective well-orderings of the reals | 2006-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5494232 | 2006-10-17 | Paper |
| What do we need large cardinals for? | 2006-08-18 | Paper |
| Iterates of the core model | 2006-07-05 | Paper |
| P ≠ NP ∩ co-NP for Infinite Time Turing Machines | 2006-03-09 | Paper |
| Homogeneously Souslin sets in small inner models | 2006-01-10 | Paper |
| Kurt Gödel (1906-1978) | 2006-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5700819 | 2005-11-02 | Paper |
| A universal extender model without large cardinals in V | 2005-08-29 | Paper |
| A new condensation principle | 2005-03-02 | Paper |
| Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum | 2005-02-16 | Paper |
| Universally Baire sets and definable well-orderings of the reals | 2005-02-09 | Paper |
| \(P\neq NP\) for infinite time Turing machines | 2003-09-23 | Paper |
| Deconstructing inner model theory | 2003-08-24 | Paper |
| P is not equal to NP intersect coNP for Infinite Time Turing Machines | 2003-07-30 | Paper |
| BMM is stronger than BSPFA | 2003-05-02 | Paper |
| The core model for almost linear iterations | 2002-06-24 | Paper |
| The consistency strength of successive cardinals with the tree property | 2002-04-29 | Paper |
| Cardinal arithmetic and Woodin cardinals | 2002-03-08 | Paper |
| Sharps and the \Sigma^1_3 correctness of K | 2002-01-18 | Paper |
| A simple proof of \Sigma^1_3 correctness of K | 2002-01-09 | Paper |
| Proper forcing and remarkable cardinals II | 2001-12-06 | Paper |
| Projective uniformization revisited | 2001-05-28 | Paper |
| \nabla_\kappa, remarkable cardinals, and 0^# | 2001-05-25 | Paper |
| More on mutual stationarity | 2001-04-06 | Paper |
| Iterations of V and the core model | 2001-04-06 | Paper |
| Coding into 𝐾 by reasonable forcing | 2000-11-22 | Paper |
| A universal weasel without large cardinals in V | 2000-11-13 | Paper |
| Proper Forcing and Remarkable Cardinals | 2000-10-03 | Paper |
| Weak covering and the tree property | 2000-07-31 | Paper |
| A note on an alleged proof of the relative consistency of P=NP with PA | 2000-07-05 | Paper |
| Strong Cardinals and Sets of Reals in Lω1(ℝ) | 2000-02-28 | Paper |
| Successive weakly compact or singular cardinals | 1999-06-29 | Paper |
| On a Chang conjecture. II | 1998-11-10 | Paper |
| On a Chang conjecture | 1998-05-06 | Paper |
| Weak Covering at Large Cardinals | 1997-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3126279 | 1997-03-24 | Paper |
| A dilemma in the philosophy of set theory | 1996-03-05 | Paper |
