Below, you may find a collection of online preprints, separated into six categories.

**Proof Theory.**This includes work on dilators and Pi12-logic, finitary and infinitary proof systems, complexity and cut elimination, and logics of proofs.

**Recursion Theory.**

**Set Theory.**

**Model Theory.**This includes work involving completeness theorems, Löwenheim-Skolem theorems, Hanf numbers, and related notions.

**Logic in Computer Science.**This includes work on many-valued logics and modal logics, especially from the point of view of complexity and expressibility.

**Other work.**

- Functorial Fast-Growing Hierarchies (with Fedor Pakhomov and Andreas Weiermann).

*Submitted for publication.*

- The Π12 Consequences of a Theory (with Fedor Pakhomov).

*Submitted for publication.*

- Ackermann and Goodstein Go Functorial (with Anton Freund, Michael Rathjen, and Andreas Weiermann).

**Pacific J. Math.**313 (2021), pp. 251-291.

__The Number of Axioms__(with Matthias Baaz and Jan Bydžovský).

**Ann. Pure Appl. Logic**, 173 (2022). Article number 103078.

__Determinate Logic and the Axiom of Choice__.

**Ann. Pure Appl. Logic**171 (2020). Article number 102745.

__Unsound Inferences Make Proofs Shorter__(with Matthias Baaz).

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

- A proof of Grilliot's Theorem (with Ferre Vanden Kerchove).

*Submitted for publication.*

__Effective Cardinals and Determinacy in Third-Order Arithmetic.__

*Submitted for publication.*

- Feedback Hyperjump (with Robert Lubarsky).

**J. Log. Comput.**31 (2021), pp. 20-39.

- A Characterization of Σ11-Reflecting Ordinals.

**Ann. Pure Appl. Logic**172 (2021). Article number 103009.

- The Order of Reflection.

**J. Symbolic Logic**86 (2021), pp. 1555-1583.

- σ-Projective Sets of Reals, Cut Elimination, and Large Cardinals.

**Internat. Math. Nachrichten**248 (2021), pp. 17-27.

__Boundedness Theorems for Flowers and Sharps__(with Anton Freund, Michael Rathjen, and Andreas Weiermann).

**Proc. Amer. Math. Soc.**, in press.

__Countable Ordinals in Indiscernibility Spectra.__

*Submitted for publication.*

- Gδσ Games and Induction on Reals (with Philip Welch).

**J. Symbolic Logic**86 (2021). pp. 1676-1690.

- Projective Games on the Reals (with Sandra Müller).

**Notre Dame J. Form. Log.**64 (2020) pp. 573–589.

- Provably Δ1 Games (with Douglas Blue).

**J. Symbolic Logic**85 (2020), pp. 1124–1146.

- Fσ Games and Reflection in L(R).

**J. Symbolic Logic**85 (2020), pp. 1102–1123.

- Long Borel Games.

**Israel J. Math**243 (2021), pp.273-314.

- Shortening Clopen Games.

**J. Symbolic Logic**86 (2021), pp. 1541-1554.

- Determined Admissible Sets.

**Proc. Amer. Math. Soc.**148 (2020), pp. 2217-2231.

__The Consistency Strength of Long Projective Determinacy__(with Sandra Müller).

**J. Symbolic Logic**85 (2020), pp. 338-366.

__Long Games and__σ__-Projective Sets__(with Sandra Müller and Philipp Schlicht).

**Ann. Pure Appl. Logic**172 (2021). Article number 102939.

- σ
__-Projective Determinacy__.

*Submitted for publication.*

- The Löwenheim-Skolem Theorem for Gödel Logic.

*Submitted for publication.*

__A Topological Completeness Theorem for Transfinite Provability Logic__.

*Submitted for publication.*

__Strong Completeness of Provability Logic for Ordinal Spaces__(with David Fernández-Duque).

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

__A Non-Hyperarithmetical Gödel Logic__(with Jan Bydžovský and David Fernández-Duque).

*Submitted for publication.*

__Verification Logic__(with David Fernández-Duque).

J. Log. Comput.

__Ten Problems in Gödel Logic__(with Matthias Baaz).21 (2017), pp. 149-152.

Soft Comput.

__On the Maximization of Menu-Dependent Interval Orders__(with Levent Ülkü).

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

This website uses cookies. By continuing to use this site, you accept our use of cookies.