Ranzi, Florian; Strahm, Thomas A flexible type system for the small Veblen ordinal. (English) Zbl 1439.03101 Arch. Math. Logic 58, No. 5-6, 711-751 (2019). Reviewer: Graham E. Leigh (Göteborg) MSC: 03F15 03F03 03F35 03F50 PDFBibTeX XMLCite \textit{F. Ranzi} and \textit{T. Strahm}, Arch. Math. Logic 58, No. 5--6, 711--751 (2019; Zbl 1439.03101) Full Text: DOI Link
Probst, Dieter; Strahm, Thomas Admissible closures of polynomial time computable arithmetic. (English) Zbl 1222.03064 Arch. Math. Logic 50, No. 5-6, 643-660 (2011). MSC: 03F30 03E70 03F35 PDFBibTeX XMLCite \textit{D. Probst} and \textit{T. Strahm}, Arch. Math. Logic 50, No. 5--6, 643--660 (2011; Zbl 1222.03064) Full Text: DOI Link
Jäger, Gerhard; Strahm, Thomas Fixed point theories and dependent choice. (English) Zbl 0956.03051 Arch. Math. Logic 39, No. 7, 493-508 (2000). Reviewer: Thomas Strahm (Bern) MSC: 03F35 03F30 03F15 PDFBibTeX XMLCite \textit{G. Jäger} and \textit{T. Strahm}, Arch. Math. Logic 39, No. 7, 493--508 (2000; Zbl 0956.03051) Full Text: DOI
Marzetta, Markus; Strahm, Thomas The \(\mu\) quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals. (English) Zbl 0920.03057 Arch. Math. Logic 37, No. 5-6, 391-413 (1998). Reviewer: M.Yasuhara (Princeton) MSC: 03F25 03F50 03F05 03F15 PDFBibTeX XMLCite \textit{M. Marzetta} and \textit{T. Strahm}, Arch. Math. Logic 37, No. 5--6, 391--413 (1998; Zbl 0920.03057) Full Text: DOI
Jäger, Gerhard; Strahm, Thomas Second order theories with ordinals and elementary comprehension. (English) Zbl 0846.03028 Arch. Math. Logic 34, No. 6, 345-375 (1995). Reviewer: G.Jäger and T.Strahm (Bern) MSC: 03F03 03F35 03D70 PDFBibTeX XMLCite \textit{G. Jäger} and \textit{T. Strahm}, Arch. Math. Logic 34, No. 6, 345--375 (1995; Zbl 0846.03028) Full Text: DOI