Browse by Person
Up a level |
Freund, Anton (2024)
What is effective transfinite recursion in reverse mathematics?
In: Mathematical Logic Quarterly, 2020, 66 (4)
doi: 10.26083/tuprints-00017787
Article, Secondary publication, Publisher's Version
Freund, Anton (2024)
A categorical construction of Bachmann–Howard fixed points.
In: Bulletin of the London Mathematical Society, 2019, 51 (5)
doi: 10.26083/tuprints-00016166
Article, Secondary publication, Publisher's Version
Freund, Anton (2024)
A note on ordinal exponentiation and derivatives of normal functions.
In: Mathematical Logic Quarterly, 2020, 66 (3)
doi: 10.26083/tuprints-00016165
Article, Secondary publication, Publisher's Version
Joisten, Philip ; Freund, Anton ; Abendroth, Bettina (2020)
Gestaltungsdimensionen der Kommunikation von automatisierten Fahrzeugen und anderen Verkehrsteilnehmenden.
In: Zeitschrift für Arbeitswissenschaft, 2020, 74 (2)
doi: 10.25534/tuprints-00014263
Article, Secondary publication, Publisher's Version