Rathjen, Michael Well-ordering principles in proof theory and reverse mathematics. (English) Zbl 07632450 Ferreira, Fernando (ed.) et al., Axiomatic thinking II. Cham: Springer. 89-127 (2022). MSC: 03-03 03A05 PDFBibTeX XMLCite \textit{M. Rathjen}, in: Axiomatic thinking II. Cham: Springer. 89--127 (2022; Zbl 07632450) Full Text: DOI arXiv
Coquand, Thierry; Neuwirth, Stefan Lorenzen’s proof of consistency for elementary number theory. (English) Zbl 1512.03073 Hist. Philos. Log. 41, No. 3, 281-290 (2020). MSC: 03F25 03F30 06A06 03-03 01A75 PDFBibTeX XMLCite \textit{T. Coquand} and \textit{S. Neuwirth}, Hist. Philos. Log. 41, No. 3, 281--290 (2020; Zbl 1512.03073) Full Text: DOI
Rathjen, Michael; Thomson, Ian Alexander Well-ordering principles, \( \omega \)-models and \(\prod_1^1 \)-comprehension. (English) Zbl 07438596 Kahle, Reinhard (ed.) et al., The legacy of Kurt Schütte. Cham: Springer. 171-215 (2020). MSC: 03B30 03F05 03F15 03F35 03F35 PDFBibTeX XMLCite \textit{M. Rathjen} and \textit{I. A. Thomson}, in: The legacy of Kurt Schütte. Cham: Springer. 171--215 (2020; Zbl 07438596) Full Text: DOI
von Plato, Jan Kurt Gödel’s first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction. (English) Zbl 1403.03006 Bull. Symb. Log. 24, No. 3, 319-335 (2018). Reviewer: Volker Peckhaus (Paderborn) MSC: 03-03 01A60 01A70 03F03 PDFBibTeX XMLCite \textit{J. von Plato}, Bull. Symb. Log. 24, No. 3, 319--335 (2018; Zbl 1403.03006) Full Text: DOI
Sieg, Wilfried Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen’s centenary. The quest for consistency. (English) Zbl 1378.00074 Jahresber. Dtsch. Math.-Ver. 119, No. 3, 201-211 (2017). MSC: 00A17 03-06 03Fxx 03A05 03-03 01A60 01A70 00B15 PDFBibTeX XMLCite \textit{W. Sieg}, Jahresber. Dtsch. Math.-Ver. 119, No. 3, 201--211 (2017; Zbl 1378.00074) Full Text: DOI
Siders, Annika From Stenius’ consistency proof to Schütte’s cut elimination for \(\omega\)-arithmetic. (English) Zbl 1401.03099 Rev. Symb. Log. 9, No. 1, 1-22 (2016). Reviewer: Reinhard Kahle (Lisboa) MSC: 03F05 03F30 03-03 01A60 PDFBibTeX XMLCite \textit{A. Siders}, Rev. Symb. Log. 9, No. 1, 1--22 (2016; Zbl 1401.03099) Full Text: DOI
Kanckos, Annika Consistency of Heyting arithmetic in natural deduction. (English) Zbl 1219.03072 Math. Log. Q. 56, No. 6, 611-624 (2010). Reviewer: Mohammad Ardeshir (Tehran) MSC: 03F30 03F25 03F55 PDFBibTeX XMLCite \textit{A. Kanckos}, Math. Log. Q. 56, No. 6, 611--624 (2010; Zbl 1219.03072) Full Text: DOI