| 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 |
| \(\Sigma_1(\kappa)\)-definable subsets of \(\mathrm{H}(\kappa^+)\) | 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 |
| Remarkable cardinals | 2015-04-09 | Paper |
| Coding over core models | 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 |
| The extender algebra and vagaries of \(\Sigma^2_1\) absoluteness | 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 \(\omega _{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 |
| Stacking mice | 2009-03-25 | Paper |
| Increasing u2 by a stationary set preserving forcing | 2009-03-25 | Paper |
| Logical foundations of mathematics | 2009-02-02 | Paper |
| Bounded Martin's Maximum and strong cardinals | 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 |
| PCF theory and Woodin cardinals | 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 |
| L(R) absoluteness under proper forcings | N/A | Paper |
| The consistency strength of projective uniformization, revisited | N/A | Paper |
| Martin's Maximum${}^{\ast, ++}_{\mathfrak{c}}$ in $\mathbb{P}_{\max}$ extensions of strong models of determinacy | N/A | Paper |
