Jäger, Gerhard; Rathjen, Michael Admissible extensions of subtheories of second order arithmetic. arXiv:2202.03476 Preprint, arXiv:2202.03476 [math.LO] (2022). MSC: 03F05 03F15 03F25 03E30 03B15 03C70 BibTeX Cite \textit{G. Jäger} and \textit{M. Rathjen}, ``Admissible extensions of subtheories of second order arithmetic'', Preprint, arXiv:2202.03476 [math.LO] (2022) Full Text: arXiv OA License
Cook, Jacob; Rathjen, Michael Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory. (English) Zbl 1439.03108 Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 79-172 (2016). MSC: 03F55 03E70 03F15 03F05 PDFBibTeX XMLCite \textit{J. Cook} and \textit{M. Rathjen}, Prog. Comput. Sci. Appl. Log. 28, 79--172 (2016; Zbl 1439.03108) Full Text: DOI arXiv Link
Rathjen, Michael Relativized ordinal analysis: the case of power Kripke-Platek set theory. (English) Zbl 1348.03055 Ann. Pure Appl. Logic 165, No. 1, 316-339 (2014). MSC: 03F15 03F03 03F05 03F35 PDFBibTeX XMLCite \textit{M. Rathjen}, Ann. Pure Appl. Logic 165, No. 1, 316--339 (2014; Zbl 1348.03055) Full Text: DOI
Rathjen, Michael Admissible proof theory and beyond. (English) Zbl 0833.03018 Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 123-147 (1994). Reviewer: H.Pfeiffer (Hannover) MSC: 03F15 03-02 03F05 03F35 PDFBibTeX XMLCite \textit{M. Rathjen}, Stud. Logic Found. Math. 134, 123--147 (1994; Zbl 0833.03018)
Rathjen, Michael Proof theory of reflection. (English) Zbl 0813.03037 Ann. Pure Appl. Logic 68, No. 2, 181-224 (1994). Reviewer: M.Yasuhara (Princeton) MSC: 03F15 03F05 03E20 PDFBibTeX XMLCite \textit{M. Rathjen}, Ann. Pure Appl. Logic 68, No. 2, 181--224 (1994; Zbl 0813.03037) Full Text: DOI
Rathjen, Michael Fragments of Kripke-Platek set theory with infinity. (English) Zbl 0791.03031 Aczel, Peter (ed.) et al., Proof theory. A selection of papers from the Leeds proof theory programme, an international summer school and conference on proof theory, held at the Leeds University, UK, from July 24-August 2, 1990. Cambridge: Cambridge University Press. 253-273 (1992). Reviewer: M.Rathjen (Münster) MSC: 03F15 03E30 03F05 03F25 03D60 PDFBibTeX XMLCite \textit{M. Rathjen}, in: Proof theory. A selection of papers from the Leeds proof theory programme, an international summer school and conference on proof theory, held at the Leeds University, UK, from July 24-August 2, 1990. Cambridge: Cambridge University Press. 253--273 (1992; Zbl 0791.03031)
Rathjen, Michael A proof-theoretic characterization of the primitive recursive set functions. (English) Zbl 0761.03016 J. Symb. Log. 57, No. 3, 954-969 (1992). Reviewer: G.Mints (Stanford) MSC: 03F05 03D20 03E70 PDFBibTeX XMLCite \textit{M. Rathjen}, J. Symb. Log. 57, No. 3, 954--969 (1992; Zbl 0761.03016) Full Text: DOI
Rathjen, Michael Proof-theoretic analysis of KPM. (English) Zbl 0727.03036 Arch. Math. Logic 30, No. 5-6, 377-403 (1991). Reviewer: H.Pfeiffer (Hannover) MSC: 03F15 03F05 PDFBibTeX XMLCite \textit{M. Rathjen}, Arch. Math. Logic 30, No. 5--6, 377--403 (1991; Zbl 0727.03036) Full Text: DOI