Thomas Strahm (strahm)

Contributi a Philosophie.ch

Bibliography

Eberhard, Sebastian and Strahm, Thomas. 2015. “Unfolding Feasible Arithmetic and Weak Truth.” in Unifying the Philosophy of Truth, edited by Theodora Achourioti, Henri Galinon, José Martı́nez Fernández, and Kentaro Fujimoto, pp. 153–168. Logic, Epistemology, and the Unity of Science n. 36. Cham: Springer.
Feferman, Solomon and Strahm, Thomas. 2000. “The Unfolding of Non-Finitist Arithmetic.” Annals of Pure and Applied Logic 104: 75–96.
Feferman, Solomon and Strahm, Thomas. 2010. “Unfolding Finitist Arithmetic.” The Review of Symbolic Logic 3(4): 665–689.
Jäger, Gerhard, Kahle, Reinhard, Setzer, Anton and Strahm, Thomas. 1999. “The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories.” The Journal of Symbolic Logic 64.
Jäger, Gerhard, Kahle, Reinhard and Strahm, Thomas. 1999. “On Applicative Theories.” in Logic and Foundation of Mathematics, edited by Andrea Cantini, Ettore Casari, and Pierluigi Minari, pp. 83–92. Synthese Library n. 280. Dordrecht: Kluwer Academic Publishers.
Jäger, Gerhard and Strahm, Thomas. 2000. “Fixed Point Theories and Dependent Choice.” Archive for Mathematical Logic 39.
Jäger, Gerhard and Strahm, Thomas. 2002. “The Proof-Theoretic Analysis of the Suslin Operator in Applicative Theories.” in Reflections on the Foundations of Mathematics. Essays in honor of Solomon Feferman, edited by Wilfried Sieg, Richard Sommer, and Carolyn L. Talcott, pp. 270–292. Lecture Notes in Logic n. 15. Urbana, Illinois: Association for Symbolic Logic.
Strahm, Thomas. 1990. “Aspekte des nicht-monotonen Schliessens.” Unpublished manuscript.
Strahm, Thomas. 1996. “Partial Applicative Theories and Explicit Substitution.” Journal of Logic and Computation 6: 55–77.
Strahm, Thomas. 2002. “Review of Weierman (1998).” The Bulletin of Symbolic Logic 8(3): 435–436.
Strahm, Thomas. 2008. “Introduction.” Dialectica 62(2): 145–147.

Further References

Weierman, Andreas. 1998. “How is It That Infinitary Methods Can Be Applied to Finitary Mathematics? Gödel’s \(T\): A Case Study.” The Journal of Symbolic Logic 63(4): 1348–1370.