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)

Proof lengths for instances of the Paris-Harrington principle. - Anton Freund (Ann. Pure Appl. Log., 2017)

Slow reflection. - Anton Freund (Ann. Pure Appl. Log., 2017)

Type-two well-ordering principles, admissible sets, and $ Pi _1^1$ -comprehension. - Anton Freund (Bull. Symb. Log., 2018)

A note on iterated consistency and infinite proofs. - Anton Freund (Arch. Math. Log., 2019)

Minimal bad sequences are necessary for a uniform Kruskal theorem. - Anton Freund; Michael Rathjen; Andreas Weiermann (CoRR, 2020)

Computable aspects of the Bachmann-Howard principle. - Anton Freund (J. Math. Log., 2020)

Predicative Collapsing Principles. - Anton Freund (J. Symb. Log., 2020)

How Strong are single fixed Points of Normal Functions? - Anton Freund (J. Symb. Log., 2020)

A note on ordinal exponentiation and derivatives of normal functions. - Anton Freund (Math. Log. Q., 2020)

What is effective transfinite recursion in reverse mathematics? - Anton Freund (Math. Log. Q., 2020)

From Kruskal's theorem to Friedman's gap condition. - Anton Freund (Math. Struct. Comput. Sci., 2020)

Short Proofs for Slow Consistency. - Anton Freund; Fedor Pakhomov (Notre Dame J. Formal Log., 2020)

Derivatives of normal functions in reverse mathematics. - Anton Freund; Michael Rathjen (Ann. Pure Appl. Log., 2021)

Well Ordering Principles and -Statements: a Pilot Study. - Anton Freund (J. Symb. Log., 2021)

A Mathematical Commitment without Computational strength. - Anton Freund (Rev. Symb. Log., 2022)

Bachmann-Howard derivatives. - Anton Freund (Arch. Math. Log., 2023)

Normal functions and maximal order types. - Anton Freund; Davide Manca (J. Log. Comput., 2024)

Higman's Lemma is Stronger for Better Quasi Orders. - Anton Freund (Order, 2024)