Michael Rathjen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2006–2019
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | CiE | A Note on the Ordinal Analysis of \mathbf RCA_0 + \mathrm WO(\mathbf σ ) RCA 0 + WO ( σ ). | Lorenzo Carlucci, Leonardo Mainardi, Michael Rathjen |
| 2013 | CiE | Realizability Models Separating Various Fan Theorems. | Robert S. Lubarsky, Michael Rathjen |
| 2012 | CiE | Ordinal Analysis and the Infinite Ramsey Theorem. | Bahareh Afshari, Michael Rathjen |
| 2007 | CiE | Theories and Ordinals: Ordinal Analysis. | Michael Rathjen |
| 2007 | LFCS | On the Constructive Dedekind Reals: Extended Abstract. | Robert S. Lubarsky, Michael Rathjen |
| 2006 | TAMC | Models of Intuitionistic Set Theories over Partial Combinatory Algebras. | Michael Rathjen |