( en | de | ru )

 

Disambiguation of "Freund, Anton"

Author of the publication

copydeleteadd this publication to your clipboard
Reverse mathematics of a uniform Kruskal-Friedman theorem

. arXiv preprint,, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Elmar Antony

Helmut Anton

Alfred Anton

Georg Antonow

Prodromos Antoniadis

 

Other publications of authors with the same name

The slow reflection hierarchy (abstract). The Bulletin of Symbolic Logic, 23 (2): 240-241 (2017)Goodstein’s theorem meets reverse mathematics (abstract), , , and . Oberwolfach Report, (2020)A categorical construction of Bachmann-Howard fixed points. Bulletin of the London Mathematical Society, 51 (5): 801-814 (2019)The uniform Kruskal theorem: between finite combinatorics and strong set existence, and . Philosophical Transactions of the Royal Society A, (2023)Weak well orders and Fraïssé's conjecture, and . The Journal of Symbolic Logic,, (to appear)The logical strength of minimal bad arrays, , and . Proceedings of the American Mathematical Society, (2024)What is effective transfinite recursion in reverse mathematics?. Math. Log. Q., 66 (4): 479-483 (2020)Higman's Lemma is Stronger for Better Quasi Orders.. Order, 41 (3): 753-759 (December 2024)On the logical strength of the better quasi order with three elements. Transactions of the American Mathematical Society, 376 (9): 6709–6727 (2023)Ackermann and Goodstein go functorial, , , and . Pacific Journal of Mathematics, 313 (2): 251-291 (2021)