Below, you may find a non-exhaustive list of preprints arranged by topic.

- Projective Games on the Reals (with Sandra Müller).
- Provably Delta_1 Games (with Douglas Blue).
- F_sigma Games and Reflection in L(R).
- Long Borel Games.
- Shortening Clopen Games.
- Determined Admissible Sets.

Proc. Amer. Math. Soc., in press. - The Consistency Strength of Long Projective Determinacy (with Sandra Müller).

J. Symbolic Logic., in press. - Long Games and sigma-Projective Sets (with Sandra Müller and Philipp Schlicht).
- Sigma-Projective Determinacy.

- Determinate Logic and the Axiom of Choice.

Ann. Pure Appl. Logic., in press. - 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.