- Provably Delta_1 Games (with Douglas Blue).
- F_sigma Games and Reflection in L(R).
- Long Borel Games.
- Shortening Clopen Games.
- Determined Admissible Sets.
- The Consistency Strength of Long Projective Determinacy (with Sandra Müller).
- Long Games and sigma-Projective Sets (with Sandra Müller and Philipp Schlicht).
- Sigma-Projective Determinacy.

- Determinate Logic and the Axiom of Choice.
- Unsound Inferences Make Proofs Shorter (with Matthias Baaz).

J. Symbolic Logic 84 (2019), pp. 102-122.

- A Topological Completeness Theorem for Transfinite Provability Logic.
- Verification Logic (with David Fernández-Duque).

J. Log. Comput. 27 (2017), pp. 2451-2469. - Strong Completeness of Provability Logic for Ordinal Spaces (with David Fernández-Duque).

J. Symbolic Logic 82 (2017), pp. 608-628.

- A Remark on Uniform Indiscernibles and the Nonstationary Ideal.
- On the Maximization of Menu-Dependent Interval Orders (with Levent Ülkü).

S. Choice Welf. 48 (2017), pp. 357-366.

- Between the Finite and the Infinite (2019). Ph.D. Thesis. 444 pp.

Advisor: Matthias Baaz.

Second (external) advisor: W. Hugh Woodin. - Uncountable Topological Interpretations of Provability Logic (2015). B.Sc. Thesis. 44 pp. Advisor: David Fernández-Duque.