Export 41 results:
Filters: Author is Thomas Strahm  [Clear All Filters]
In Press
Strahm, T.: Unfolding schematic systems. In: Jäger, G. and Sieg, W. Feferman on Foundations - Logic, Mathematics, Philosophy. Springer (In Press).
Feferman, S., Strahm, T.: Unfolding finitist arithmetic. Review of Symbolic Logic. 3, 665-689 (2010).
Strahm, T.: Weak theories of operations and types. In: Schindler, R. Ways of Proof Theory. pp. 441-468. Ontos Verlag (2010).
Rüede, C., Strahm, T.: Intuitionistic fixed point theories for strictly positive operators. Mathematical Logic Quarterly. 48, 195-202 (2002).
Jäger, G., Strahm, T.: The proof-theoretic analysis of the Suslin operator in applicative theories. In: Sieg, W., Sommer, R., and Talcott, C. Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman. pp. 270-292. AK Peters (2002).
Strahm, T.: Wellordering proofs for metapredicative Mahlo. The Journal of Symbolic Logic. 67, 260-278 (2002).