Anton Freund

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 17

Top Topics

Maintaining Consistency

Partial Ordering

Top Venues

Ann. Pure Appl. Log.

Arch. Math. Log.

Publications

Anton Freund
Bachmann-Howard derivatives. Arch. Math. Log. 62 (5-6) (2023)
Anton Freund
A Mathematical Commitment without Computational strength. Rev. Symb. Log. 15 (4) (2022)
Anton Freund, Michael Rathjen
Derivatives of normal functions in reverse mathematics. Ann. Pure Appl. Log. 172 (2) (2021)
Anton Freund
Well Ordering Principles and -Statements: a Pilot Study. J. Symb. Log. 86 (2) (2021)
Anton Freund
From Kruskal's theorem to Friedman's gap condition. CoRR (2020)
Anton Freund, Fedor Pakhomov
Short Proofs for Slow Consistency. Notre Dame J. Formal Log. 61 (1) (2020)
Anton Freund
A note on ordinal exponentiation and derivatives of normal functions. Math. Log. Q. 66 (3) (2020)
Anton Freund
Predicative Collapsing Principles. J. Symb. Log. 85 (1) (2020)
Anton Freund
From Kruskal's theorem to Friedman's gap condition. Math. Struct. Comput. Sci. 30 (8) (2020)
Anton Freund
Computable aspects of the Bachmann-Howard principle. J. Math. Log. 20 (2) (2020)
Anton Freund
What is effective transfinite recursion in reverse mathematics? Math. Log. Q. 66 (4) (2020)
Anton Freund
How Strong are single fixed Points of Normal Functions? J. Symb. Log. 85 (2) (2020)
Anton Freund, Michael Rathjen, Andreas Weiermann
Minimal bad sequences are necessary for a uniform Kruskal theorem. CoRR (2020)
Anton Freund
A note on iterated consistency and infinite proofs. Arch. Math. Log. 58 (3-4) (2019)
Anton Freund
Type-two well-ordering principles, admissible sets, and $\Pi _1^1$ -comprehension. Bull. Symb. Log. 24 (4) (2018)
Anton Freund
Proof lengths for instances of the Paris-Harrington principle. Ann. Pure Appl. Log. 168 (7) (2017)
Anton Freund
Slow reflection. Ann. Pure Appl. Log. 168 (12) (2017)
Anton Freund, Moreno Andreatta, Jean-Louis Giavitto
Lattice-based and topological representations of binary relations with an application to music. Ann. Math. Artif. Intell. 73 (3-4) (2015)