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
Strahm, Thomas Unfolding schematic systems. (English) Zbl 1429.03195 Jäger, Gerhard (ed.) et al., Feferman on foundations. Logic, mathematics, philosophy. Cham: Springer. Outst. Contrib. Log. 13, 187-208 (2017). MSC: 03F03 03F30 03D75 PDFBibTeX XMLCite \textit{T. Strahm}, Outst. Contrib. Log. 13, 187--208 (2017; Zbl 1429.03195) Full Text: DOI
Buchholtz, Ulrik; Jäger, Gerhard; Strahm, Thomas Theories of proof-theoretic strength \(\psi(\Gamma_{\Omega+1})\). (English) Zbl 1433.03137 Probst, Dieter (ed.) et al., Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9–13, 2013. Ontos Mathematical Logic 6. Berlin: De Gruyter. 115-140 (2016). MSC: 03F15 03F03 03F05 03F35 PDFBibTeX XMLCite \textit{U. Buchholtz} et al., Ontos Math. Log. 6, 115--140 (2016; Zbl 1433.03137) Full Text: DOI Link
Strahm, Thomas Book review of: K. Bimbó, Proof theory. Sequent calculi and related formalisms. (English) Zbl 1362.00018 Bull. Symb. Log. 22, No. 2, 288-289 (2016). MSC: 00A17 03-02 03-01 03F03 03F05 03F52 PDFBibTeX XMLCite \textit{T. Strahm}, Bull. Symb. Log. 22, No. 2, 288--289 (2016; Zbl 1362.00018) Full Text: DOI
Kahle, Reinhard (ed.); Strahm, Thomas (ed.); Studer, Thomas (ed.) 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. (English) Zbl 1344.03002 Progress in Computer Science and Applied Logic 28. Basel: Birkhäuser/Springer (ISBN 978-3-319-29196-3/hbk; 978-3-319-29198-7/ebook). xii, 425 p. (2016). MSC: 03-06 03Fxx 03B20 03B30 03B35 68T15 00B25 00B30 PDFBibTeX XMLCite \textit{R. Kahle} (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 (2016; Zbl 1344.03002) Full Text: DOI
Sommaruga, Giovanni (ed.); Strahm, Thomas (ed.) Turing’s revolution. The impact of his ideas about computability. (English) Zbl 1330.68036 Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). xxiv, 329 p. (2015). MSC: 68-06 03-03 68-03 01A60 01A70 03D10 68Q05 68Q10 00B15 PDFBibTeX XMLCite \textit{G. Sommaruga} (ed.) and \textit{T. Strahm} (ed.), Turing's revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (2015; Zbl 1330.68036) Full Text: DOI
Ranzi, Florian; Strahm, Thomas A note on the theory \(\mathrm{SID}_{<\omega}\) of stratified induction. (English) Zbl 1354.03092 Math. Log. Q. 60, No. 6, 487-497 (2014). MSC: 03F35 03F05 03F15 03D70 PDFBibTeX XMLCite \textit{F. Ranzi} and \textit{T. Strahm}, Math. Log. Q. 60, No. 6, 487--497 (2014; Zbl 1354.03092) Full Text: DOI
Eberhard, Sebastian; Strahm, Thomas Weak theories of truth and explicit mathematics. (English) Zbl 1315.03114 Berger, Ulrich (ed.) et al., Logic, construction, computation. Dedicated to the 70th birthday of Helmut Schwichtenberg. Frankfurt am Main: Ontos Verlag; Berlin: De Gruyter (ISBN 978-3-11-032453-2/hbk; 978-3-86838-158-0/hbk; 978-3-11-032492-1/ebook). Ontos Mathematical Logic 3, 157-183 (2012). MSC: 03F50 03B40 PDFBibTeX XMLCite \textit{S. Eberhard} and \textit{T. Strahm}, Ontos Math. Log. 3, 157--183 (2012; Zbl 1315.03114)
Spescha, Daria; Strahm, Thomas Realisability in weak systems of explicit mathematics. (English) Zbl 1267.03057 Math. Log. Q. 57, No. 6, 551-565 (2011). Reviewer: Thierry Coquand (Göteborg) MSC: 03F50 03D15 03F03 PDFBibTeX XMLCite \textit{D. Spescha} and \textit{T. Strahm}, Math. Log. Q. 57, No. 6, 551--565 (2011; Zbl 1267.03057) Full Text: DOI
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
Strahm, Thomas Weak theories of operations and types. (English) Zbl 1244.03167 Schindler, Ralf (ed.), Ways of proof theory. Collected papers by speakers of the colloquium and workshop held on the occasion of the retirement of Wolfram Pohlers, July 17–19, 2008, Münster, Germany. Frankfurt am Main: Ontos Verlag (ISBN 978-3-86838-087-3/hbk). Ontos Mathematical Logic 2, 441-467 (2010). MSC: 03F50 03F35 PDFBibTeX XMLCite \textit{T. Strahm}, Ontos Math. Log. 2, 441--467 (2010; Zbl 1244.03167)
Feferman, Solomon; Strahm, Thomas Unfolding finitist arithmetic. (English) Zbl 1232.03053 Rev. Symb. Log. 3, No. 4, 665-689 (2010). MSC: 03F30 PDFBibTeX XMLCite \textit{S. Feferman} and \textit{T. Strahm}, Rev. Symb. Log. 3, No. 4, 665--689 (2010; Zbl 1232.03053) Full Text: DOI
Spescha, Daria; Strahm, Thomas Elementary explicit types and polynomial time operations. (English) Zbl 1171.03036 Math. Log. Q. 55, No. 3, 245-258 (2009). Reviewer: M. Yasuhara (Princeton) MSC: 03F50 03F35 68Q15 PDFBibTeX XMLCite \textit{D. Spescha} and \textit{T. Strahm}, Math. Log. Q. 55, No. 3, 245--258 (2009; Zbl 1171.03036) Full Text: DOI
Strahm, Thomas; Zucker, Jeffery Primitive recursive selection functions for existential assertions over abstract algebras. (English) Zbl 1156.03043 J. Log. Algebr. Program. 76, No. 2, 175-197 (2008). MSC: 03D60 03F30 68Q05 PDFBibTeX XMLCite \textit{T. Strahm} and \textit{J. Zucker}, J. Log. Algebr. Program. 76, No. 2, 175--197 (2008; Zbl 1156.03043) Full Text: DOI Link
Steiner, David; Strahm, Thomas On the proof theory of type two functionals based on primitive recursive operations. (English) Zbl 1106.03048 Math. Log. Q. 52, No. 3, 237-252 (2006). MSC: 03F10 03F35 PDFBibTeX XMLCite \textit{D. Steiner} and \textit{T. Strahm}, Math. Log. Q. 52, No. 3, 237--252 (2006; Zbl 1106.03048) Full Text: DOI
Jäger, Gerhard; Strahm, Thomas Reflections on reflections in explicit mathematics. (English) Zbl 1094.03048 Ann. Pure Appl. Logic 136, No. 1-2, 116-133 (2005). Reviewer: M. Yasuhara (Princeton) MSC: 03F50 03F15 03F35 03E70 PDFBibTeX XMLCite \textit{G. Jäger} and \textit{T. Strahm}, Ann. Pure Appl. Logic 136, No. 1--2, 116--133 (2005; Zbl 1094.03048) Full Text: DOI
Strahm, Thomas A proof-theoretic characterization of the basic feasible functionals. (English) Zbl 1086.03044 Theor. Comput. Sci. 329, No. 1-3, 159-176 (2004). MSC: 03F03 03D65 03F25 PDFBibTeX XMLCite \textit{T. Strahm}, Theor. Comput. Sci. 329, No. 1--3, 159--176 (2004; Zbl 1086.03044) Full Text: DOI
Strahm, Thomas Theories with self-application and computational complexity. (English) Zbl 1057.03051 Inf. Comput. 185, No. 2, 263-297 (2003). Reviewer: Reinhard Kahle (Coimbra) MSC: 03F50 03D15 03F30 68Q15 PDFBibTeX XMLCite \textit{T. Strahm}, Inf. Comput. 185, No. 2, 263--297 (2003; Zbl 1057.03051) Full Text: DOI
Jäger, Gerhard; Strahm, Thomas The proof-theoretic analysis of the Suslin operator in applicative theories. (English) Zbl 1015.03058 Sieg, Wilfried (ed.) et al., Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Natick, MA: A K Peters. Lect. Notes Log. 15, 270-292 (2002). Reviewer: Reinhard Kahle (Caparica) MSC: 03F50 03F35 03F03 PDFBibTeX XMLCite \textit{G. Jäger} and \textit{T. Strahm}, Lect. Notes Log. 15, 270--292 (2002; Zbl 1015.03058)
Strahm, Thomas Wellordering proofs for metapredicative Mahlo. (English) Zbl 1032.03050 J. Symb. Log. 67, No. 1, 260-278 (2002). Reviewer: Thierry Coquand (Göteborg) MSC: 03F35 03E70 03F50 PDFBibTeX XMLCite \textit{T. Strahm}, J. Symb. Log. 67, No. 1, 260--278 (2002; Zbl 1032.03050) Full Text: DOI Link
Rüede, Christian; Strahm, Thomas Intuitionistic fixed point theories for strictly positive operators. (English) Zbl 1031.03074 Math. Log. Q. 48, No. 2, 195-202 (2002). Reviewer: Victor N. Krivtsov (Moskva) MSC: 03F50 03F55 03F30 PDFBibTeX XMLCite \textit{C. Rüede} and \textit{T. Strahm}, Math. Log. Q. 48, No. 2, 195--202 (2002; Zbl 1031.03074) Full Text: DOI
Jäger, Gerhard; Strahm, Thomas Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory. (English) Zbl 1011.03046 J. Symb. Log. 66, No. 2, 935-958 (2001). Reviewer: Thierry Coquand (Göteborg) MSC: 03F50 03F35 03E70 PDFBibTeX XMLCite \textit{G. Jäger} and \textit{T. Strahm}, J. Symb. Log. 66, No. 2, 935--958 (2001; Zbl 1011.03046) 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
Strahm, Thomas The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule. (English) Zbl 0964.03061 Ann. Pure Appl. Logic 104, No. 1-3, 305-324 (2000). Reviewer: M.Yasuhara (Princeton) MSC: 03F35 03F25 03F05 PDFBibTeX XMLCite \textit{T. Strahm}, Ann. Pure Appl. Logic 104, No. 1--3, 305--324 (2000; Zbl 0964.03061) Full Text: DOI
Feferman, Solomon; Strahm, Thomas The unfolding of non-finitist arithmetic. (English) Zbl 0959.03048 Ann. Pure Appl. Logic 104, No. 1-3, 75-96 (2000). MSC: 03F30 03F03 03D75 03D65 PDFBibTeX XMLCite \textit{S. Feferman} and \textit{T. Strahm}, Ann. Pure Appl. Logic 104, No. 1--3, 75--96 (2000; Zbl 0959.03048) Full Text: DOI
Strahm, Thomas Autonomous fixed point regressions and fixed point transfinite recursion. (English) Zbl 0943.03044 Buss, Samuel R. (ed.) et al., Logic colloquium ’98. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9-15, 1998. Natick, MA: A K Peters, Ltd. Lect. Notes Log. 13, 449-464 (2000). MSC: 03F15 03E70 PDFBibTeX XMLCite \textit{T. Strahm}, Lect. Notes Log. 13, 449--464 (2000; Zbl 0943.03044)
Jäger, Gerhard; Kahle, Reinhard; Strahm, Thomas On applicative theories. (English) Zbl 0951.03054 Cantini, Andrea (ed.) et al., Logic and foundations of mathematics. Selected contributed papers of the 10th international congress of logic, methodology and philosophy of science, Florence, August 19-25, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 280, 83-92 (1999). MSC: 03F50 PDFBibTeX XMLCite \textit{G. Jäger} et al., Synth. Libr. 280, 83--92 (1999; Zbl 0951.03054)
Strahm, Thomas First steps into metapredicativity in explicit mathematics. (English) Zbl 0961.03057 Cooper, S. Barry (ed.) et al., Sets and proofs. Invited papers from the Logic colloquium ’97, European meeting of the Association for Symbolic Logic, Leeds, UK, July 6-13, 1997. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 258, 383-402 (1999). Reviewer: Ulrich Kohlenbach (Aarhus) MSC: 03F50 PDFBibTeX XMLCite \textit{T. Strahm}, Lond. Math. Soc. Lect. Note Ser. 258, 383--402 (1999; Zbl 0961.03057)
Jäger, Gerhard; Strahm, Thomas Bar induction and \(\omega\) model reflection. (English) Zbl 0930.03087 Ann. Pure Appl. Logic 97, No. 1-3, 221-230 (1999). MSC: 03F35 03F07 03F25 PDFBibTeX XMLCite \textit{G. Jäger} and \textit{T. Strahm}, Ann. Pure Appl. Logic 97, No. 1--3, 221--230 (1999; Zbl 0930.03087) Full Text: DOI
Jäger, Gerhard; Kahle, Reinhard; Setzer, Anton; Strahm, Thomas The proof-theoretic analysis of transfinitely iterated fixed point theories. (English) Zbl 0937.03065 J. Symb. Log. 64, No. 1, 53-67 (1999). Reviewer: Andrea Cantini (Firenze) MSC: 03F15 03F05 03F50 PDFBibTeX XMLCite \textit{G. Jäger} et al., J. Symb. Log. 64, No. 1, 53--67 (1999; Zbl 0937.03065) Full Text: DOI Link
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
Strahm, Thomas Polynomial time operations in explicit mathematics. (English) Zbl 0891.03023 J. Symb. Log. 62, No. 2, 575-594 (1997). Reviewer: M.Yasuhara (Princeton) MSC: 03F03 03D15 68Q15 03F30 PDFBibTeX XMLCite \textit{T. Strahm}, J. Symb. Log. 62, No. 2, 575--594 (1997; Zbl 0891.03023) Full Text: DOI
Glaß, Thomas; Strahm, Thomas Systems of explicit mathematics with non-constructive \(\mu\)-operator and join. (English) Zbl 0862.03028 Ann. Pure Appl. Logic 82, No. 2, 193-219 (1996). Reviewer: Th.Strahm (Bern) MSC: 03F03 03F35 PDFBibTeX XMLCite \textit{T. Glaß} and \textit{T. Strahm}, Ann. Pure Appl. Logic 82, No. 2, 193--219 (1996; Zbl 0862.03028) Full Text: DOI
Jäger, Gerhard; Strahm, Thomas Some theories with positive induction of ordinal strength \(\varphi \omega 0\). (English) Zbl 0862.03031 J. Symb. Log. 61, No. 3, 818-842 (1996). Reviewer: Th.Strahm (Bern) MSC: 03F15 03F30 PDFBibTeX XMLCite \textit{G. Jäger} and \textit{T. Strahm}, J. Symb. Log. 61, No. 3, 818--842 (1996; Zbl 0862.03031) Full Text: DOI
Strahm, Thomas Partial applicative theories and explicit substitutions. (English) Zbl 0841.03005 J. Log. Comput. 6, No. 1, 55-77 (1996). MSC: 03B40 03F50 PDFBibTeX XMLCite \textit{T. Strahm}, J. Log. Comput. 6, No. 1, 55--77 (1996; Zbl 0841.03005) Full Text: DOI Link
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
Jäger, Gerhard; Strahm, Thomas Totality in applicative theories. (English) Zbl 0832.03027 Ann. Pure Appl. Logic 74, No. 2, 105-120 (1995). Reviewer: G.Mints (Stanford) MSC: 03F03 PDFBibTeX XMLCite \textit{G. Jäger} and \textit{T. Strahm}, Ann. Pure Appl. Logic 74, No. 2, 105--120 (1995; Zbl 0832.03027) Full Text: DOI