Preprints
(with W. Hugh Woodin) The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy, October 2025. arXiv
Boolean-valued second-order logic revisited, April 2025. arXiv
(with Matteo Viale) Universally Baire sets in 2^{\kappa}, December 2024. arXiv
(with Philipp Schlicht) Forcing over choiceless models and generic absoluteness, December 2022. arXiv
At the Tianyuan Mathematics Research Center, Kunming, Yunnan
(with Nam Trang) Preservation of AD via forcings, Israel Journal of Mathematics, 2025. arXiv DOI
Determinacy and regularity properties for idealized forcings, Mathematical Logic Quarterly, 2022. PDF DOI
(with Nam Trang) On Supercompactness of omega_1, Springer Proceedings in Mathematics and Statistics, 2022. arXiv DOI
(with Philipp Schlicht and Hisao Tanaka) Borel subsets of the real line and continuous reducibility, Fundamenta Mathematicae, 2019. arXiv DOI
(with Nam Trang) On a class of maximality principles, Archive for Mathematical Logic, 2018. arXiv DOI
(with Jouko Väänänen) Boolean-Valued Second-Order Logic, Notre Dame Journal of Formal Logic, 2015. PDF DOI
(with David de Kloet and Benedikt Löwe) The axiom of real Blackwell determinacy, Archive for Mathematical Logic, 2012. PDF DOI
Forcing absoluteness and regularity properties, Annals of Pure and Applied Logic, 2010. PDF DOI
Projective absoluteness for Sacks forcing, Archive for Mathematical Logic, 2009. PDF DOI
(with Johan van Benthem) Modal fixed-point logic and changing models, Pillars of Computer Science, 2008. PDF DOI