Thomas Strahm

Publication Activity (10 Years)

Years Active: 1995-2019
Publications (10 Years): 2

Top Topics

Reasoning Problems

Sequent Calculi

Conditional Logic

Top Venues

Bull. Symb. Log.

Arch. Math. Log.

Publications

Florian Ranzi, Thomas Strahm
A flexible type system for the small Veblen ordinal. Arch. Math. Log. 58 (5-6) (2019)
Thomas Strahm
Katalin Bimbó. Proof Theory: Sequent Calculi and Related Formalisms. CRC Press, Boca Raton, 2014, x + 374 pp. Bull. Symb. Log. 22 (2) (2016)
Florian Ranzi, Thomas Strahm
A note on the theory SID<ω of stratified induction. Math. Log. Q. 60 (6) (2014)
Daria Spescha, Thomas Strahm
Realisability in weak systems of explicit mathematics. Math. Log. Q. 57 (6) (2011)
Dieter Probst, Thomas Strahm
Admissible closures of polynomial time computable arithmetic. Arch. Math. Log. 50 (5-6) (2011)
Solomon Feferman, Thomas Strahm
Unfolding Finitist Arithmetic. Rev. Symb. Log. 3 (4) (2010)
Daria Spescha, Thomas Strahm
Elementary explicit types and polynomial time operations. Math. Log. Q. 55 (3) (2009)
Thomas Strahm, Jeffery I. Zucker
Primitive recursive selection functions for existential assertions over abstract algebras. J. Log. Algebraic Methods Program. 76 (2) (2008)
David Steiner, Thomas Strahm
On the proof theory of type two functionals based on primitive recursive operations. Math. Log. Q. 52 (3) (2006)
Gerhard Jäger, Thomas Strahm
Reflections on reflections in explicit mathematics. Ann. Pure Appl. Log. 136 (1-2) (2005)
Thomas Strahm
A proof-theoretic characterization of the basic feasible functionals. Theor. Comput. Sci. 329 (1-3) (2004)
Thomas Strahm
Theories with self-application and computational complexity. Inf. Comput. 185 (2) (2003)
Thomas Strahm
Wellordering Proofs for Metapredicative Mahlo. J. Symb. Log. 67 (1) (2002)
Christian Rüede, Thomas Strahm
Intuitionistic Fixed Point Theories for Strictly Positive Operators. Math. Log. Q. 48 (2) (2002)
Gerhard Jäger, Thomas Strahm
Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory. J. Symb. Log. 66 (2) (2001)
Gerhard Jäger, Thomas Strahm
Fixed point theories and dependent choice. Arch. Math. Log. 39 (7) (2000)
Thomas Strahm
The non-constructive mu operator, fixed point theories with ordinals, and the bar rule. Ann. Pure Appl. Log. 104 (1-3) (2000)
Solomon Feferman, Thomas Strahm
The unfolding of non-finitist arithmetic. Ann. Pure Appl. Log. 104 (1-3) (2000)
Gerhard Jäger, Thomas Strahm
Bar Induction and omega Model Reflection. Ann. Pure Appl. Log. 97 (1-3) (1999)
Gerhard Jäger, Reinhard Kahle, Anton Setzer, Thomas Strahm
The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. J. Symb. Log. 64 (1) (1999)
Markus Marzetta, Thomas Strahm
The m\mu quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals. Arch. Math. Log. 37 (5-6) (1998)
Thomas Strahm
Polynomial Time Operations in Explicit Mathematics. J. Symb. Log. 62 (2) (1997)
Thomas Strahm
Partial Applicative Theories and Explicit Substitutions. J. Log. Comput. 6 (1) (1996)
Gerhard Jäger, Thomas Strahm
. J. Symb. Log. 61 (3) (1996)
Thomas Glaß, Thomas Strahm
Systems of Explicit Mathematics with Non-Constructive µ-Operator and Join. Ann. Pure Appl. Log. 82 (2) (1996)
Gerhard Jäger, Thomas Strahm
Second order theories with ordinals and elementary comprehension. Arch. Math. Log. 34 (6) (1995)
Gerhard Jäger, Thomas Strahm
Totality in Applicative Theories. Ann. Pure Appl. Log. 74 (2) (1995)