Thomas Strahm

	2008
19		Thomas Strahm, Jeffery I. Zucker: Primitive recursive selection functions for existential assertions over abstract algebras. J. Log. Algebr. Program. 76(2): 175-197 (2008)
	2006
18		David Steiner, Thomas Strahm: On the proof theory of type two functionals based on primitive recursive operations. Math. Log. Q. 52(3): 237-252 (2006)
	2005
17		Gerhard Jäger, Thomas Strahm: Reflections on reflections in explicit mathematics. Ann. Pure Appl. Logic 136(1-2): 116-133 (2005)
	2004
16		Thomas Strahm: A proof-theoretic characterization of the basic feasible functionals. Theor. Comput. Sci. 329(1-3): 159-176 (2004)
	2003
15		Thomas Strahm: Theories with self-application and computational complexity. Inf. Comput. 185(2): 263-297 (2003)
	2002
14		Thomas Strahm: Wellordering Proofs for Metapredicative Mahlo. J. Symb. Log. 67(1): 260-278 (2002)
13		Christian Rüede, Thomas Strahm: Intuitionistic Fixed Point Theories for Strictly Positive Operators. Math. Log. Q. 48(2): 195-202 (2002)
	2001
12		Gerhard Jäger, Thomas Strahm: Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory. J. Symb. Log. 66(2): 935-958 (2001)
	2000
11		Thomas Strahm: The non-constructive mu operator, fixed point theories with ordinals, and the bar rule. Ann. Pure Appl. Logic 104(1-3): 305-324 (2000)
10		Solomon Feferman, Thomas Strahm: The unfolding of non-finitist arithmetic. Ann. Pure Appl. Logic 104(1-3): 75-96 (2000)
9		Gerhard Jäger, Thomas Strahm: Fixed point theories and dependent choice. Arch. Math. Log. 39(7): 493-508 (2000)
	1999
8		Gerhard Jäger, Thomas Strahm: Bar Induction and omega Model Reflection. Ann. Pure Appl. Logic 97(1-3): 221-230 (1999)
7		Gerhard Jäger, Reinhard Kahle, Anton Setzer, Thomas Strahm: The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. J. Symb. Log. 64(1): 53-67 (1999)
	1998
6		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): 391-413 (1998)
	1997
5		Thomas Strahm: Polynomial Time Operations in Explicit Mathematics. J. Symb. Log. 62(2): 575-594 (1997)
	1996
4		Thomas Glaß, Thomas Strahm: Systems of Explicit Mathematics with Non-Constructive µ-Operator and Join. Ann. Pure Appl. Logic 82(2): 193-219 (1996)
3		Thomas Strahm: Partial Applicative Theories and Explicit Substitutions. J. Log. Comput. 6(1): 55-77 (1996)
2		Gerhard Jäger, Thomas Strahm: Some Theories with Positive Induction of Ordinal Strength phi omega 0. J. Symb. Log. 61(3): 818-842 (1996)
	1995
1		Gerhard Jäger, Thomas Strahm: Totality in Applicative Theories. Ann. Pure Appl. Logic 74(2): 105-120 (1995)

Coauthor Index

1	Solomon Feferman	[10]
2	Thomas Glaß	[4]
3	Gerhard Jäger	[1] [2] [7] [8] [9] [12] [17]
4	Reinhard Kahle	[7]
5	Markus Marzetta	[6]
6	Christian Rüede	[13]
7	Anton Setzer	[7]
8	David Steiner	[18]
9	Jeffery I. Zucker	[19]

Colors in the list of coauthors