TU Darmstadt / ULB / TUprints

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date
Jump to: 2024 | 2020
Number of items: 4.

2024

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

2020

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

This list was generated on Wed Feb 28 17:32:36 2024 CET.