Preprints

1. Boolean-valued second-order logic revisited, April 2025.  arXiv 

2. (with Matteo Viale) Universally Baire sets in 2^{\kappa}, December 2024.  arXiv 

3. (with Philipp Schlicht) Forcing over choiceless models and generic absoluteness, December 2022.  arXiv 

Refereed papers

1. (with W. Hugh Woodin) The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy, Annals of Pure and Applied Logic, 2026.  arXiv  DOI

2. (with Nam Trang) Preservation of AD via forcings, Israel Journal of Mathematics, 2025.  arXiv  DOI 

3. Determinacy and regularity properties for idealized forcings, Mathematical Logic Quarterly, 2022.  PDF  DOI 

4. (with Nam Trang) On Supercompactness of omega_1, Springer Proceedings in Mathematics and Statistics, 2022.  arXiv  DOI 

5.  (with Philipp Schlicht and Hisao Tanaka) Borel subsets of the real line and continuous reducibility, Fundamenta Mathematicae, 2019.  arXiv  DOI 

6. (with Nam Trang) On a class of maximality principles, Archive for Mathematical Logic, 2018.  arXiv  DOI 

7. (with Jouko Väänänen) Boolean-Valued Second-Order Logic, Notre Dame Journal of Formal Logic, 2015.  PDF   DOI 

Erratum for Boolean-Valued Second-Order Logic, Notre Dame Journal of Formal Logic, 2026.  DOI

8. (with David de Kloet and Benedikt Löwe) The axiom of real Blackwell determinacy, Archive for Mathematical Logic, 2012.  PDF   DOI 

9. Forcing absoluteness and regularity properties, Annals of Pure and Applied Logic, 2010.  PDF   DOI 

10. Projective absoluteness for Sacks forcing, Archive for Mathematical Logic, 2009.  PDF   DOI 

11. (with Johan van Benthem) Modal fixed-point logic and changing models, Pillars of Computer Science, 2008.  PDF   DOI  

Proceedings

1.  Note on Bl-AD_{omega_1}, RIMS Kôkyûroku, 2017.  PDF 

2.  Real Determinacy and real Blackwell Determinacy, RIMS Kôkyûroku, 2011.  PDF

3.  Borel approximation of coanalytic sets with Borel sections and the regularity properties for sets of reals, RIMS Kôkyûroku, 2011.  PDF 

Theses

1. Ph.D. thesis, Games in Set Theory and Logic, University of Amsterdam, 2010.  PDF 

2. Master's thesis, Projective absoluteness under Sacks forcing, Nagoya University, 2006.  PDF 

Notes

1. (with Ralf Schindler) Note on alternating chains, 2009.   PDF