| Publication | Date of Publication | Type |
|---|
Divergent models with the failure of the continuum hypothesis
The Journal of Symbolic Logic | 2026-02-12 | Paper |
Preservation of AD via forcings
Israel Journal of Mathematics | 2025-11-20 | Paper |
Ideals and strong axioms of determinacy
Journal of the American Mathematical Society | 2024-07-29 | 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 |
| Preservation of AD via forcings | 2023-04-02 | Paper |
| The AD+ conjecture and the continuum hypothesis | 2023-02-21 | Paper |
On supercompactness of \(\omega_1\)
(available as arXiv preprint) | 2022-11-11 | Paper |
| Condensation for Mouse Pairs | 2022-07-07 | Paper |
Supercompactness can be equiconsistent with measurability
Notre Dame Journal of Formal Logic | 2022-02-14 | Paper |
SEALING OF THE UNIVERSALLY BAIRE SETS
The Bulletin of Symbolic Logic | 2022-01-11 | Paper |
| The Largest Suslin Axiom | 2021-12-08 | Paper |
| Ideals and Strong Axioms of Determinacy | 2021-11-11 | Paper |
| Sealing from Iterability | 2021-10-12 | Paper |
Determinacy from strong compactness of \(\omega_1\)
Annals of Pure and Applied Logic | 2021-04-14 | Paper |
𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability
Transactions of the American Mathematical Society, Series B | 2021-03-11 | Paper |
A brief account of recent developments in inner model theory
Trends in Set Theory | 2020-07-23 | Paper |
On supercompactness of $\omega_1$
(available as arXiv preprint) | 2019-04-03 | Paper |
On a class of maximality principles
Archive for Mathematical Logic | 2018-08-16 | Paper |
\(L(\mathbb{R}, \mu)\) is unique
Advances in Mathematics | 2017-12-12 | Paper |
\(I_0\) and combinatorics at \(\lambda ^+\)
Archive for Mathematical Logic | 2017-02-24 | Paper |
PFA and guessing models
Israel Journal of Mathematics | 2017-01-10 | 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 |
| The fine structure of operator mice | 2016-03-31 | Paper |
Structure theory of \(L(\mathbb{R},\mu)\) and its applications
Journal of Symbolic Logic | 2015-05-20 | Paper |
Derived models and supercompact measures on \(\wp_{\omega_1}(\wp(\mathbb{R}))\)
Mathematical Logic Quarterly | 2015-03-19 | Paper |
Determinacy in \(L(\mathbb{R}, \mu)\)
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 |
HOD in natural models of \(\mathsf{AD}^+\)
Annals of Pure and Applied Logic | 2014-07-07 | Paper |
| Scales in hybrid mice over $\mathbb{R}$ | 2012-10-26 | Paper |
