( en | de | ru )

 

Disambiguation of "Rathjen, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Well ordering principles for iterated Pi^1_1-comprehension

, and . Selecta Mathematica, (2023)
DOI: 10.1007/s00029-023-00879-2

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Rathjen

Gerd Rathjen

Jörg Rathjen

Frank Rathjen

Peter Rathjen

 

Other publications of authors with the same name

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