Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Computable aspects of the Bachmann-Howard principle.. J. Math. Log., 20 (2): 2050006:1-2050006:26 (2020)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)The uniform Kruskal theorem: between finite combinatorics and strong set existence, und . Philosophical Transactions of the Royal Society A, (2023)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 logical strength of minimal bad arrays, , und . Proceedings of the American Mathematical Society, (to appear)Weak well orders and Fraïssé's conjecture, und . The Journal of Symbolic Logic,, (to appear)Minimal bad sequences are necessary for a uniform Kruskal theorem., , und . CoRR, (2020)What is effective transfinite recursion in reverse mathematics?. Math. Log. Q., 66 (4): 479-483 (2020)