| Publication | Date of Publication | Type |
|---|
| Ideals and strong axioms of determinacy | 2024-07-29 | Paper |
| Forcing more \(\mathsf{DC}\) over the Chang model using the thorn sequence | 2024-06-13 | Paper |
| The largest Suslin axiom | 2024-05-29 | Paper |
| The exact consistency strength of the generic absoluteness for the universally Baire sets | 2024-02-07 | Paper |
| On $\omega$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions | 2023-07-25 | Paper |
| Chang models over derived models with supercompact measures | 2023-07-17 | Paper |
| Generic Generators | 2023-06-30 | Paper |
| NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON | 2023-06-05 | Paper |
| Towards a generic absoluteness theorem for Chang models | 2023-04-15 | Paper |
| Determinacy in the Chang model | 2023-02-13 | Paper |
| Unreachability of Inductive-Like Pointclasses in $L(\mathbb{R})$ | 2022-10-18 | Paper |
| Suslin cardinals and cutpoints in mouse limits | 2022-07-08 | Paper |
| On the derived models of self-iterable universes | 2022-02-04 | Paper |
| SEALING OF THE UNIVERSALLY BAIRE SETS | 2022-01-11 | Paper |
| IN INNER MODELS WITH WOODIN CARDINALS | 2021-12-09 | Paper |
| The Largest Suslin Axiom | 2021-12-08 | Paper |
| Ideals and Strong Axioms of Determinacy | 2021-11-11 | Paper |
| Hod up to AD$_{\mathbb{R}}+\Theta$ is measurable | 2021-11-11 | Paper |
| On the derived models of self iterable universes | 2021-11-11 | Paper |
| Covering with Chang models over derived models | 2021-10-27 | Paper |
| Varsovian models II | 2021-10-22 | Paper |
| Covering with Chang models over derived models | 2021-10-12 | Paper |
| Sealing from Iterability | 2021-10-12 | Paper |
| A characterization of extenders of HOD | 2021-10-06 | Paper |
| Hjorth's reflection argument | 2021-05-13 | Paper |
| Failures of square in Pmax extensions of Chang models | 2021-05-01 | Paper |
| 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability | 2021-03-11 | Paper |
| \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire | 2021-01-19 | Paper |
| An inner model theoretic proof of Becker's theorem | 2019-09-19 | Paper |
| DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE | 2019-03-15 | Paper |
| Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable | 2018-11-07 | Paper |
| VARSOVIAN MODELS I | 2018-08-10 | Paper |
| Translation procedures in descriptive inner model theory | 2017-08-30 | Paper |
| Square principles in \(\mathbb{P}_{\max}\) extensions | 2017-04-28 | Paper |
| Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular | 2017-01-10 | Paper |
| Hod mice and the Mouse Set Conjecture | 2015-09-09 | Paper |
| THE MOUSE SET CONJECTURE FOR SETS OF REALS | 2015-08-14 | Paper |
| An inner model proof of the strong partition property for \(\delta_1^2\) | 2015-02-26 | Paper |
| Covering with universally Baire operators | 2014-11-17 | Paper |
| Nontame mouse from the failure of square at a singular strong limit cardinal | 2014-09-05 | Paper |
| Non-tame mice from tame failures of the unique branch hypothesis | 2014-08-19 | Paper |
| Reviews, Bull. Symbolic Logic 19, iss. 4 (2013) | 2014-03-10 | Paper |
| On the prewellorderings associated with the directed systems of mice | 2014-01-07 | Paper |
| Descriptive inner model theory | 2013-07-11 | Paper |
| On the prewellordering associated to the dircted systems of mice | 2013-01-21 | Paper |
| Indestructible strong compactness but not supercompactness | 2012-07-11 | Paper |
| The core model induction beyond $L(\mathbb{R})$: non-tame mouse from PFA | 2012-06-13 | Paper |
| An equiconsistency for universal indestructibility | 2010-03-15 | Paper |
| On the indestructibility aspects of identity crisis | 2009-08-27 | Paper |
| On HOD-supercompactness | 2008-11-17 | Paper |
| Universal indestructibility for degrees of supercompactness and strongly compact cardinals | 2008-10-16 | Paper |
| A Reduction in Consistency Strength for Universal Indestructibility | 2007-05-30 | Paper |
| Identity crises and strong compactness. III: Woodin cardinals | 2006-03-22 | Paper |
| Jonsson-like partition relations and j: V → V | 2005-08-29 | Paper |
| Can a large cardinal be forced from a condition implying its negation? | 2005-07-26 | Paper |
| Forcing More DC Over the Chang Model Using the Thorn Sequence | N/A | Paper |
| AD$^+$ implies that $\omega_1$ is a $\Theta$-Berkeley cardinal | N/A | Paper |
