Anton Freund - RankMe

22 papers Journal 22

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Induction on dilators and Bachmann-Howard fixed points. Ann. Pure Appl. Log. Juan P. Aguilera, Anton Freund, Andreas Weiermann
2025	J	`jnl`	Weak Well Orders and FRAïSSé's Conjecture. J. Symb. Log. Anton Freund, Davide Manca
2024	J	`jnl`	Higman's Lemma is Stronger for Better Quasi Orders. Order Anton Freund
2024	J	`jnl`	Normal functions and maximal order types. J. Log. Comput. Anton Freund, Davide Manca
2023	J	`jnl`	Bachmann-Howard derivatives. Arch. Math. Log. Anton Freund
2022	J	`jnl`	A Mathematical Commitment without Computational strength. Rev. Symb. Log. Anton Freund
2021	J	`jnl`	Derivatives of normal functions in reverse mathematics. Ann. Pure Appl. Log. Anton Freund, Michael Rathjen
2021	J	`jnl`	Well Ordering Principles and -Statements: a Pilot Study. J. Symb. Log. Anton Freund
2020	J	`jnl`	A note on ordinal exponentiation and derivatives of normal functions. Math. Log. Q. Anton Freund
2020	J	`jnl`	Computable aspects of the Bachmann-Howard principle. J. Math. Log. Anton Freund
2020	J	`jnl`	From Kruskal's theorem to Friedman's gap condition. CoRR Anton Freund
2020	J	`jnl`	From Kruskal's theorem to Friedman's gap condition. Math. Struct. Comput. Sci. Anton Freund
2020	J	`jnl`	How Strong are single fixed Points of Normal Functions? J. Symb. Log. Anton Freund
2020	J	`jnl`	Minimal bad sequences are necessary for a uniform Kruskal theorem. CoRR Anton Freund, Michael Rathjen, Andreas Weiermann
2020	J	`jnl`	Predicative Collapsing Principles. J. Symb. Log. Anton Freund
2020	J	`jnl`	Short Proofs for Slow Consistency. Notre Dame J. Formal Log. Anton Freund, Fedor Pakhomov
2020	J	`jnl`	What is effective transfinite recursion in reverse mathematics? Math. Log. Q. Anton Freund
2019	J	`jnl`	A note on iterated consistency and infinite proofs. Arch. Math. Log. Anton Freund
2018	J	`jnl`	Type-two well-ordering principles, admissible sets, and $\Pi _1^1$ -comprehension. Bull. Symb. Log. Anton Freund
2017	J	`jnl`	Proof lengths for instances of the Paris-Harrington principle. Ann. Pure Appl. Log. Anton Freund
2017	J	`jnl`	Slow reflection. Ann. Pure Appl. Log. Anton Freund
2015	J	`jnl`	Lattice-based and topological representations of binary relations with an application to music. Ann. Math. Artif. Intell. Anton Freund, Moreno Andreatta, Jean-Louis Giavitto