2020

Joisten, Philip ; Freund, Anton ; Abendroth, Bettina (2020)
Gestaltungsdimensionen der Kommunikation von automatisierten Fahrzeugen und anderen Verkehrsteilnehmenden.
In: Zeitschrift der Arbeitswissenschaft, 74 (2)
doi: 10.1007/s41449-020-00199-7
Artikel, Bibliographie

Freund, Anton (2020)
What is effective transfinite recursion in reverse mathematics?
In: Mathematical Logic Quarterly, 66 (4)
doi: 10.1002/malq.202000042
Artikel, Bibliographie

Freund, Anton (2020)
A note on ordinal exponentiation and derivatives of normal functions.
In: Mathematical Logic Quarterly, 66 (3)
doi: 10.1002/malq.201900059
Artikel, Bibliographie

2019

Freund, Anton (2019)
A categorical construction of Bachmann–Howard fixed points.
In: Bulletin of the London Mathematical Society, 51 (5)
doi: 10.1112/blms.12285
Artikel, Bibliographie