| Publication | Date of Publication | Type |
|---|
L(R) absoluteness under proper forcings
(available as arXiv preprint) | N/A | Paper |
The consistency strength of projective uniformization, revisited
(available as arXiv preprint) | N/A | Paper |
Martin's Maximum${}^{\ast, ++}_{\mathfrak{c}}$ in $\mathbb{P}_{\max}$ extensions of strong models of determinacy
(available as arXiv preprint) | N/A | Paper |
\textsf{PFA} and the definability of the nonstationary ideal
The Journal of Symbolic Logic | 2026-06-12 | Paper |
| Forcing axioms and projective sets of reals | 2026-04-10 | Paper |
Forcing axioms and the definability of the nonstationary ideal on the first uncountable
The Journal of Symbolic Logic | 2025-02-03 | Paper |
| PFA and the definability of the nonstationary ideal | 2023-10-20 | Paper |
When is a real generic over <i>L</i>?
Mathematical Logic Quarterly | 2023-09-12 | Paper |
How many real numbers are there?
Mathematische Semesterberichte | 2023-07-12 | Paper |
Coding over Core Models
(available as arXiv preprint) | 2022-09-18 | Paper |
| Forcing Axioms and the Definabilty of the Nonstationary Ideal on \omega₁ | 2022-08-10 | Paper |
The consistency strength of the perfect set property for universally Baire sets of reals
Journal of Symbolic Logic | 2022-06-15 | Paper |
Mazurkiewicz sets with no well-ordering of the reals
Georgian Mathematical Journal | 2022-06-03 | Paper |
Tall cardinals in extender models
Notre Dame Journal of Formal Logic | 2022-02-14 | Paper |
Definable Hamel bases and ${\sf AC}_\omega ({\mathbb R})$
Fundamenta Mathematicae | 2021-11-03 | Paper |
| Varsovian models II | 2021-10-22 | Paper |
Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
Annals of Mathematics. Second Series | 2021-06-01 | Paper |
Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
Journal of Mathematical Logic | 2021-05-20 | Paper |
Inner-model reflection principles
Studia Logica | 2020-06-09 | Paper |
| ${\sf MM}^{++}$ implies $(*)$ | 2019-06-24 | Paper |
Tall cardinals in extender models
(available as arXiv preprint) | 2019-05-24 | Paper |
The solidity and nonsolidity of initial segments of the core model
Journal of Symbolic Logic | 2018-10-26 | Paper |
Virtual large cardinals
Annals of Pure and Applied Logic | 2018-10-18 | Paper |
| A model with everything except for a well-ordering of the reals | 2018-09-27 | Paper |
VARSOVIAN MODELS I
Journal of Symbolic Logic | 2018-08-10 | Paper |
Hamel bases and well–ordering the continuum
Proceedings of the American Mathematical Society | 2018-06-04 | Paper |
The long extender algebra
Archive for Mathematical Logic | 2018-02-09 | Paper |
Square with built-in diamond-plus
Journal of Symbolic Logic | 2017-09-26 | Paper |
\(\Sigma_1(\kappa)\)-definable subsets of \(\mathrm{H}(\kappa^+)\)
Journal of Symbolic Logic | 2017-09-26 | Paper |
Woodin’s axiom (*), or Martin’s Maximum, or both?
Foundations of Mathematics | 2017-08-30 | Paper |
| scientific article; zbMATH DE number 6755778 (Why is no real title available?) | 2017-08-03 | Paper |
Inner model theoretic geology
Journal of Symbolic Logic | 2017-04-28 | Paper |
Square principles in \(\mathbb{P}_{\max}\) extensions
Israel Journal of Mathematics | 2017-04-28 | Paper |
Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom
Archive for Mathematical Logic | 2017-02-24 | Paper |
Hyperreal-valued probability measures approximating a real-valued measure
Notre Dame Journal of Formal Logic | 2016-09-01 | Paper |
HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC
Journal of Symbolic Logic | 2015-08-14 | Paper |
| Coding over core models | 2015-04-09 | Paper |
| Remarkable cardinals | 2015-04-09 | Paper |
Bounded Martin's maximum with an asterisk
Notre Dame Journal of Formal Logic | 2014-09-02 | Paper |
Set theory. Exploring independence and truth
Universitext | 2014-06-04 | Paper |
| The extender algebra and vagaries of ^2_1 absoluteness | 2014-02-11 | Paper |
Book review: Lorenz J. Halbeisen: ``Combinatorial set theory''
Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) | 2013-11-13 | Paper |
Woodin's axiom \((*)\), bounded forcing axioms, and precipitous ideals on \(\omega _{1}\)
The Journal of Symbolic Logic | 2012-06-19 | Paper |
Thin equivalence relations in scaled pointclasses
Mathematical Logic Quarterly | 2011-12-23 | Paper |
Fine structure
Handbook of Set Theory | 2010-11-05 | Paper |
A criterion for coarse iterability
Archive for Mathematical Logic | 2010-05-17 | Paper |
\(\Pi_2\) consequences of \(\mathsf{BMM}+\mathsf{NS}_{\omega_1}\) is precipitous and the semiproperness of stationary set preserving forcings
Mathematical Research Letters | 2010-05-14 | Paper |
The self-iterability of <i>L</i>[<i>E</i>]
Journal of Symbolic Logic | 2009-09-29 | Paper |
The strength of choiceless patterns of singular and weakly compact cardinals
Annals of Pure and Applied Logic | 2009-06-10 | Paper |
Increasing <i>u</i><sub>2</sub> by a stationary set preserving forcing
Journal of Symbolic Logic | 2009-03-25 | Paper |
Stacking mice
Journal of Symbolic Logic | 2009-03-25 | Paper |
Logical foundations of mathematics
Springer-Lehrbuch | 2009-02-02 | Paper |
| Bounded Martin's Maximum and strong cardinals | 2007-03-05 | Paper |
Core models in the presence of Woodin cardinals
Journal of Symbolic Logic | 2007-01-19 | Paper |
Projective well-orderings of the reals
Archive for Mathematical Logic | 2006-11-06 | Paper |
PCF theory and Woodin cardinals
(available as arXiv preprint) | 2006-10-17 | Paper |
What do we need large cardinals for?
Mathematische Semesterberichte | 2006-08-18 | Paper |
Iterates of the core model
Journal of Symbolic Logic | 2006-07-05 | Paper |
P ≠ NP ∩ co-NP for Infinite Time Turing Machines
Journal Of Logic And Computation | 2006-03-09 | Paper |
Homogeneously Souslin sets in small inner models
Archive for Mathematical Logic | 2006-01-10 | Paper |
Kurt Gödel (1906-1978)
Mitteilungen der Deutschen Mathematiker-Vereinigung | 2006-01-01 | Paper |
| scientific article; zbMATH DE number 2222025 (Why is no real title available?) | 2005-11-02 | Paper |
A universal extender model without large cardinals in <i>V</i>
Journal of Symbolic Logic | 2005-08-29 | Paper |
A new condensation principle
Archive for Mathematical Logic | 2005-03-02 | Paper |
Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum
MLQ | 2005-02-16 | Paper |
Universally Baire sets and definable well-orderings of the reals
Journal of Symbolic Logic | 2005-02-09 | Paper |
P NP for infinite time Turing machines
Monatshefte für Mathematik | 2003-09-23 | Paper |
Deconstructing inner model theory
Journal of Symbolic Logic | 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
Annals of Pure and Applied Logic | 2002-06-24 | Paper |
The consistency strength of successive cardinals with the tree property
Journal of Symbolic Logic | 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
The Journal of Symbolic Logic | 2001-12-06 | Paper |
Projective uniformization revisited
Annals of Pure and Applied Logic | 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
Transactions of the American Mathematical Society | 2000-11-22 | Paper |
| A universal weasel without large cardinals in V | 2000-11-13 | Paper |
Proper Forcing and Remarkable Cardinals
The Bulletin of Symbolic Logic | 2000-10-03 | Paper |
Weak covering and the tree property
Archive for Mathematical Logic | 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(ℝ)
Mathematical Logic Quarterly | 2000-02-28 | Paper |
Successive weakly compact or singular cardinals
Journal of Symbolic Logic | 1999-06-29 | Paper |
On a Chang conjecture. II
Archive for Mathematical Logic | 1998-11-10 | Paper |
On a Chang conjecture
Israel Journal of Mathematics | 1998-05-06 | Paper |
Weak Covering at Large Cardinals
Mathematical Logic Quarterly | 1997-08-03 | Paper |
| scientific article; zbMATH DE number 994189 (Why is no real title available?) | 1997-03-24 | Paper |
A dilemma in the philosophy of set theory
Notre Dame Journal of Formal Logic | 1996-03-05 | Paper |
