( en | de | ru )

 

Disambiguierung von "Rathjen, Michael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Goodstein’s theorem meets reverse mathematics (abstract)

, , , und . Oberwolfach Report, (2020)
DOI: 10.14760/OWR-2020-34

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.

Michael Rathjen

Gerd Rathjen

Jörg Rathjen

Peter Rathjen

Heinrich Rathjen

 

Weitere Publikationen von Autoren mit dem selben Namen

The Higher Infinite in Proof Theory.. Logic Colloquium, Volume 11 von Lecture Notes in Logic, Seite 275-304. Springer, (1995)Models of Intuitionistic Set Theories over Partial Combinatory Algebras.. TAMC, Volume 3959 von Lecture Notes in Computer Science, Seite 68-78. Springer, (2006)Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience. (2013)cite arxiv:1302.3037Comment: 11 pages.Ackermann and Goodstein go functorial, , , und . Pacific Journal of Mathematics, 313 (2): 251-291 (2021)Ordinal notations based on a weakly Mahlo cardinal.. Arch. Math. Log., 29 (4): 249-263 (1990)On the Constructive Dedekind Reals: Extended Abstract., und . LFCS, Volume 4514 von Lecture Notes in Computer Science, Seite 349-362. Springer, (2007)An ordinal analysis of parameter free Pi12-comprehension.. Arch. Math. Log., 44 (3): 263-362 (2005)Slow consistency., , und . Ann. Pure Appl. Log., 164 (3): 382-393 (2013)Well ordering principles for iterated Pi^1_1-comprehension, und . Selecta Mathematica, (2023)A note on the Sigma1 spectrum of a theory., und . Arch. Math. Log., 41 (1): 33-34 (2002)