(With J. Kruschewski) On a conjecture regarding the mouse order for weasels, The Journal of Symbolic Logic, Vol. 90, Issue 1, 2025, DOI, arXiv
Extenders under ZF and constructibility of rank-to-rank embeddings, Fundamenta Mathematicae, Vol. 266, No. 3, 2024, DOI, arXiv
The definability of the extender sequence E from E|ℵ_1 in L[E], The Journal of Symbolic Logic, Vol. 89, Issue 2, 2024, DOI, arXiv
On the consistency of ZF with an elementary embedding from V_(λ+2) into V_(λ+2), Journal of Mathematical Logic, Vol. 25, No. 2, 2025, DOI, arXiv
(With M. Eskew, Y. Hayut and S. Friedman) Mutually embeddable models of ZFC, APAL, Vol. 175, Issue 1, Part B (Kenneth Kunen memorial issue), 2024, DOI, arXiv
(With G. Goldberg) Periodicity in the cumulative hierarchy, Journal of the European Mathematical Society, Vol. 26, No. 6, 2024, DOI, arXiv
The definability of E in self-iterable mice, Annals of Pure and Applied Logic, Vol. 174, Issue 2, 2023, DOI, arXiv
Choice principles in local mantles, Mathematical Logic Quarterly, Vol. 68, Issue 3, 2022, DOI, arXiv, (sec. 4 of draft posted here Jan 2020 moved to "Local mantles of L[x]")
Reinhardt cardinals and iterates of V, Annals of Pure and Applied Logic, Vol. 173, Issue 2, 2022, DOI, arXiv: 2002.01215(vn>1)
Iterability for (transfinite) stacks, Journal of Mathematical Logic , Vol. 21, No. 2, 2021, DOI, arXiv. Earlier draft PDF (posted morning July 16, 2018; its proof of Theorem 6.1 was not quite right, and the statement of the theorem is weaker in the published version).
A premouse inheriting strong cardinals from V, PDF, Annals of Pure and Applied Logic, Vol. 171, Issue 9, 2020, DOI, arXiv
A long pseudo-comparison of premice in L[x], PDF, Notre Dame Journal of Formal Logic, Vol. 59, No. 4, pp. 599-604, 2018, DOI, arXiv
(With S. Jackson, R. Ketchersid, W. H. Woodin) Determinacy and Jonsson cardinals in L(R), PDF, The Journal of Symbolic Logic, Vol. 79, Issue 4, pp. 1184-1198, 2014, DOI, arXiv
(With J. R. Steel) Comparison of fine structural mice via coarse iteration, PDF, Archive for Mathematical Logic, 2014, DOI, arXiv
Homogeneously Suslin sets in tame mice, PDF, The Journal of Symbolic Logic, Vol. 77, No. 4, pp.1122-1146, 2012, DOI
Full normalization for κ+-supercompactness, arXiv
Power Σ_1 in Card with two Woodin cardinals, arXiv
(with J. Kruschewski) Analysis of HOD for admissible structures, arXiv
Ladder mice, arXiv
(With J. Steel) Stationary tower free homogeneously Suslin scales, arXiv
Mice with Woodin cardinals from a Reinhardt, arXiv
Low level definability above large cardinals, arXiv
Mouse scales (preliminary draft), arXiv
(With J. Steel) Σ_1 gaps as derived models and correctness of mice, arXiv
The initial segment condition for κ+-supercompactness, arXiv
Varsovian models ω, arXiv
(With G. Sargsyan and R. Schindler) Varsovian models II, arXiv
Local mantles of L[x], arXiv
Full normalization for transfinite stacks, arXiv.
Background construction for λ-indexed mice, arXiv
Ordinal definability in L[E], arXiv, accepted for publication in The Journal of Symbolic Logic
Fine structure from normal iterability, arXiv, accepted for publication in Journal of Mathematical Logic, DOI
A weak reflection of Reinhardt by super Reinhardt cardinals, arXiv
The core model in transcendent mice, PDF, 2019.
(With N. Trang) The fine structure of operator mice, PDF, arXiv
Reconstructing resurrection, PDF, accepted for publication in Journal of Symbolic Logic, arXiv
+0 iteration trees, PDF, 2012.
Reinhardt cardinals and non-definability, arXiv: 2002.01215v1 (the papers "Periodicity in the cumulative hierarchy", "Extenders under ZF and constructibility of rank-into-rank embeddings", and "Reinhardt cardinals and iterates of V" should be seen instead. Errata for the original notes.
Mantles without generating indiscernibles, PDF, 2019.
Reconstructing copying and condensation, PDF.
Measures in Mice, PDF, PhD dissertation, December 2007, arXiv