( en | de | ru )

 

Disambiguierung von "Freund, Anton"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reverse mathematics of a uniform Kruskal-Friedman theorem

. arXiv preprint,, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mathilde Antony

Katja Antoniw-Struckmann

Dominik Stephan Antoni

Michael Antoni

Werner Anton

 

Weitere Publikationen von Autoren mit dem selben Namen

Weak well orders and Fraïssé's conjecture, und . The Journal of Symbolic Logic,, (to appear)The logical strength of minimal bad arrays, , und . Proceedings of the American Mathematical Society, (to appear)The uniform Kruskal theorem: between finite combinatorics and strong set existence, und . Philosophical Transactions of the Royal Society A, (2023)What is effective transfinite recursion in reverse mathematics?. Mathematical Logic Quarterly, 66 (4): 479-483 (2020)Provable better quasi orders, , , und . arXiv preprint,, (2023)A categorical construction of Bachmann-Howard fixed points. Bulletin of the London Mathematical Society, 51 (5): 801-814 (2019)The slow reflection hierarchy (abstract). The Bulletin of Symbolic Logic, 23 (2): 240-241 (2017)Goodstein’s theorem meets reverse mathematics (abstract), , , und . Oberwolfach Report, (2020)Patterns of resemblance and Bachmann-Howard fixed points. Selecta Mathematica, 28 (1): article no. 19, 32 pp (2021)On the logical strength of the better quasi order with three elements. Transactions of the American Mathematical Society, 376 (9): 6709–6727 (2023)