Anton Freund

I am a PhD student at the University of Leeds, supervised by Michael Rathjen.

Email: A.J.Freund14[at]leeds[dot]ac[dot]uk

I organize the Proofs, Constructions and Computations Seminar at Leeds. Please feel free to contact me for further information.

Research Interests:

  • Foundations of mathematics, especially meta-mathematics of arithmetic (first and second order) and weak set theories
  • Higher-order aspects of proof-theoretic concepts
  • Computational content of proofs, program extraction
  • Length of proofs, slow consistency
  • Methods: Mainly ordinal analysis, but also set-theoretic constructions and non-standard models of arithmetic

Papers and Notes:

  • A Note on Iterated Consistency and Infinite Proofs. Preprint available via arXiv:1709.01540.
  • A Higher Bachmann-Howard Principle. Preprint available via arXiv:1704.01662.
  • Slow Reflection, Ann. Pure Appl. Logic, in press. Available via doi:10.1016/j.apal.2017.06.003 (journal version) or arXiv:1601.08214 (accepted manuscript).
  • Proof Lengths for Instances of the Paris-Harrington Principle, Ann. Pure Appl. Logic 168 (2017) 1361-1382. Available via doi:10.1016/j.apal.2017.01.004 (journal version) or arXiv:1601.08185 (accepted manuscript).
  • A Uniform Characterization of Γ1-Reflection over the Fragments of Peano Arithmetic. Unpublished note, available via arXiv:1512.05122.
  • Characteristic Spaces of del Pezzo Surfaces. Master's Thesis at LMU Munich (2014). Supervised by Ulrich Derenthal, and available via his website.

Selected Talks:

Disclaimer: This is not an official university website.