Deutsch Intern
Mathematical Logic

Holder of the Junior Professorship

Prof. Dr. Anton Freund

Holder of the Junior Professorship
Junior Professorship at the Chair of Mathematics III (Mathematical Logic)
Emil-Fischer-Straße 40
97074 Würzburg
Building: 40 (Mathematik Ost)
Room: 02.012
Phone: +49 931 31-80576

The following links provide information on

I am a member of the Equal Opportunities Commission at the Institute of Mathematics. You are very welcome to contact me in this role. In addition, let me refer to the webpage of the Equal Opportunities Representative of our faculty, Prof. Dr. Marie Schmidt.

  • 2008-14: Bachelor and Master studies at LMU Munich with a gap year in Paris

  • 2014-18: PhD studies with Michael Rathjen at Leeds

  • 2018-21: Postdoc with Ulrich Kohlenbach at Darmstadt

  • 2021-23: Emmy Noether group leader (DFG) at Darmstadt

  • since 2023: Tenure track professor and Emmy Noether group leader at Würzburg

Publications

Lecture notes can be found via the link to teaching material

  • 1.
    Effective rates for continuous-time quasi-Fejér monotone dynamical systems
    Freund, A., Pischke, N.
    preprint, 54 pp (2026)
  • 1.
    Avoiding logical strength in real analysis
    Freund, A., Pischke, N., Uftring, P.
    preprint, 60 pp (2026)
  • 1.
    Fraïssé’s conjecture, partial impredicativity and well-ordering principles, part II
    Freund, A., Kowalik, K. W., Manca, D.
    preprint, 40 pp (2026)

  • 1.
    A Uniform Characterization of Sigma_1-Reflection over the Fragments of Peano Arithmetic
    Freund, A.
    In: Mainzer, K., Schuster, P., and Schwichtenberg, H. (eds.) Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification. pp. 189-253. World Scientific, Singapore (2022)

  • 1.
    Proof mining a nonlinear ergodic theorem for Banach spaces (abstract)
    Freund, A., Kohlenbach, U.
    Dagstuhl Report 11, 158-159 (2022)
  • 1.
    Goodstein’s theorem meets reverse mathematics (abstract)
    Aguilera, J. P., Freund, A., Rathjen, M., Weiermann, A.
    Oberwolfach Report 34, 1701-1703 (2020)
  • 1.
    Type‐Two Well‐Ordering Principles and Pi^1_1-Comprehension (abstract)
    Freund, A.
    The Bulletin of Symbolic Logic 24, 228 (2018)
  • 1.
    The slow reflection hierarchy (abstract)
    Freund, A.
    The Bulletin of Symbolic Logic 23, 240-241 (2017)
  • 1.
    Proof Length and the Paris‐Harrington Principle (abstract)
    Freund, A.
    Oberwolfach Report 14, 3129–3130 (2017)
  • 1.
    Where can we really prove instances of the Paris‐Harrington Principle? (abstract)
    Freund, A.
    Proceedings in Applied Mathematics and Mechanics 16, 903-904 (2016)