postdoc at TU Wien
Papers:
(w/ Gabriel Goldberg and Grigor Sargsyan) Ultrapowers of determinacy models as iteration trees on HOD, submitted.
The uniqueness of the core model, submitted.
(w/ John Steel) Full normalization for mouse pairs, draft.
(w/ Patrick Lutz) Part 1 of Martin's Conjecture for order-preserving and measure-preserving functions, Journal of the American Mathematical Society, 38 (2) 2025. arXiv version
(w/ Paolo Mancosu and Stuart Shapiro) A Note on Choice Principles in Second-Order Logic. Review of Symbolic Logic, 16 (2), 2023.
(w/ Paolo Mancosu) Neologicist Foundations: Inconsistent abstraction principles and part-whole, In Mras, G. M., Weingartner, P., and Ritter, B., editors. Philosophy of Logic and Mathematics: Proceedings of the 41st International Wittgenstein Symposium. De Gruyter, Berlin, 2019.