| Publication | Date of Publication | Type |
|---|
Ideals and strong axioms of determinacy Journal of the American Mathematical Society | 2024-07-29 | Paper |
Forcing more \(\mathsf{DC}\) over the Chang model using the thorn sequence Proceedings of the American Mathematical Society | 2024-06-13 | Paper |
The largest Suslin axiom Lecture Notes in Logic | 2024-05-29 | Paper |
The exact consistency strength of the generic absoluteness for the universally Baire sets Forum of Mathematics, Sigma | 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 Journal of Symbolic Logic | 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 Proceedings of the American Mathematical Society | 2022-02-04 | Paper |
SEALING OF THE UNIVERSALLY BAIRE SETS The Bulletin of Symbolic Logic | 2022-01-11 | Paper |
HOD in inner models with Woodin cardinals Journal of Symbolic Logic | 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 (available as arXiv preprint) | 2021-11-11 | Paper |
On the derived models of self iterable universes (available as arXiv preprint) | 2021-11-11 | Paper |
Covering with Chang models over derived models Advances in Mathematics | 2021-10-27 | Paper |
| Varsovian models II | 2021-10-22 | Paper |
Covering with Chang models over derived models (available as arXiv preprint) | 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 Transactions of the American Mathematical Society, Series B | 2021-03-11 | Paper |
\(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire Archive for Mathematical Logic | 2021-01-19 | Paper |
An inner model theoretic proof of Becker's theorem Archive for Mathematical Logic | 2019-09-19 | Paper |
DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE Journal of Symbolic Logic | 2019-03-15 | Paper |
Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable Annals of Pure and Applied Logic | 2018-11-07 | Paper |
VARSOVIAN MODELS I Journal of Symbolic Logic | 2018-08-10 | Paper |
Translation procedures in descriptive inner model theory Foundations of Mathematics | 2017-08-30 | Paper |
Square principles in \(\mathbb{P}_{\max}\) extensions Israel Journal of Mathematics | 2017-04-28 | Paper |
Tame failures of the unique branch hypothesis and models of \(\mathsf{AD}_{\mathbb{R}}+\Theta\) is regular Journal of Mathematical Logic | 2017-01-10 | Paper |
Hod mice and the mouse set conjecture Memoirs of the American Mathematical Society | 2015-09-09 | Paper |
The mouse set conjecture for sets of reals Journal of Symbolic Logic | 2015-08-14 | Paper |
An inner model proof of the strong partition property for \(\delta_1^2\) Notre Dame Journal of Formal Logic | 2015-02-26 | Paper |
An inner model proof of the strong partition property for \(\delta_1^2\) Notre Dame Journal of Formal Logic | 2015-02-26 | Paper |
Covering with universally Baire operators Advances in Mathematics | 2014-11-17 | Paper |
Nontame mouse from the failure of square at a singular strong limit cardinal Journal of Mathematical Logic | 2014-09-05 | Paper |
Non-tame mice from tame failures of the unique branch hypothesis Canadian Journal of Mathematics | 2014-08-19 | Paper |
Reviews, Bull. Symbolic Logic 19, iss. 4 (2013) The Bulletin of Symbolic Logic | 2014-03-10 | Paper |
On the prewellorderings associated with the directed systems of mice The Journal of Symbolic Logic | 2014-01-07 | Paper |
On the prewellorderings associated with the directed systems of mice The Journal of Symbolic Logic | 2014-01-07 | Paper |
Descriptive inner model theory The Bulletin of Symbolic Logic | 2013-07-11 | Paper |
Descriptive inner model theory The Bulletin of Symbolic Logic | 2013-07-11 | Paper |
| On the prewellordering associated to the dircted systems of mice | 2013-01-21 | Paper |
Indestructible strong compactness but not supercompactness Annals of Pure and Applied Logic | 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 Journal of Symbolic Logic | 2010-03-15 | Paper |
On the indestructibility aspects of identity crisis Archive for Mathematical Logic | 2009-08-27 | Paper |
On HOD-supercompactness Archive for Mathematical Logic | 2008-11-17 | Paper |
Universal indestructibility for degrees of supercompactness and strongly compact cardinals Archive for Mathematical Logic | 2008-10-16 | Paper |
A Reduction in Consistency Strength for Universal Indestructibility Bulletin Polish Acad. Sci. Math. | 2007-05-30 | Paper |
Identity crises and strong compactness. III: Woodin cardinals Archive for Mathematical Logic | 2006-03-22 | Paper |
Jonsson-like partition relations and j: V → V Journal of Symbolic Logic | 2005-08-29 | Paper |
Can a large cardinal be forced from a condition implying its negation? Proceedings of the American Mathematical Society | 2005-07-26 | Paper |
Forcing More DC Over the Chang Model Using the Thorn Sequence (available as arXiv preprint) | N/A | Paper |
AD$^+$ implies that $\omega_1$ is a $\Theta$-Berkeley cardinal (available as arXiv preprint) | N/A | Paper |