Anton Freund

According to our database, Anton Freund authored at least 18 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Normal functions and maximal order types.

Anton Freund, Davide Manca

J. Log. Comput., 2024

2023

Bachmann-Howard derivatives.

Anton Freund

Arch. Math. Log., July, 2023

2022

A Mathematical Commitment without Computational strength.

Anton Freund

Rev. Symb. Log., 2022

2021

Well Ordering Principles and -Statements: a Pilot Study.

Anton Freund

J. Symb. Log., 2021

Derivatives of normal functions in reverse mathematics.

Anton Freund, Michael Rathjen

Ann. Pure Appl. Log., 2021

2020

Short Proofs for Slow Consistency.

Anton Freund, Fedor Pakhomov

Notre Dame J. Formal Log., 2020

From Kruskal's theorem to Friedman's gap condition.

Anton Freund

Math. Struct. Comput. Sci., 2020

What is effective transfinite recursion in reverse mathematics?

Anton Freund

Math. Log. Q., 2020

A note on ordinal exponentiation and derivatives of normal functions.

Anton Freund

Math. Log. Q., 2020

How Strong are single fixed Points of Normal Functions?

Anton Freund

J. Symb. Log., 2020

Predicative Collapsing Principles.

Anton Freund

J. Symb. Log., 2020

Computable aspects of the Bachmann-Howard principle.

Anton Freund

J. Math. Log., 2020

Minimal bad sequences are necessary for a uniform Kruskal theorem.

Anton Freund, Michael Rathjen, Andreas Weiermann

CoRR, 2020

2019

A note on iterated consistency and infinite proofs.

Anton Freund

Arch. Math. Log., 2019

2018

Type-two well-ordering principles, admissible sets, and $\Pi _1^1$ -comprehension.

Anton Freund

Bull. Symb. Log., 2018

2017

Slow reflection.

Anton Freund

Ann. Pure Appl. Log., 2017

Proof lengths for instances of the Paris-Harrington principle.

Anton Freund

Ann. Pure Appl. Log., 2017

2015

Lattice-based and topological representations of binary relations with an application to music.

Anton Freund, Moreno Andreatta, Jean-Louis Giavitto

Ann. Math. Artif. Intell., 2015