Michael Rathjen (rathjen)

My contributions to Philosophie.ch

Bibliography

Rathjen, Michael. 2002. “Explicit Mathematics with Monotone Inductive Definitions: A Survey.” in Reflections on the Foundations of Mathematics. Essays in honor of Solomon Feferman, edited by Wilfried Sieg, Richard Sommer, and Carolyn L. Talcott, pp. 329–347. Lecture Notes in Logic n. 15. Urbana, Illinois: Association for Symbolic Logic.
Rathjen, Michael. 2004. “Predicativity, Circularity, and Anti-Foundation.” in One Hundred Years of Russell’s Paradox. Mathematics, Logic, Philosophy, edited by Godehard Link, pp. 191–220. de Gruyter Series in Logic and Its Applications n. 6. Berlin: de Gruyter.
Rathjen, Michael. 2009. “The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory.” in Logicism, Intuitionism, and Formalism. What Has Become of Them?, edited by Sten Lindström, Erik Palmgren, Krister Segerberg, and Viggo Stoltenberg-Hansen, pp. 397–434. Synthese Library n. 341. Dordrecht: Springer.
Rathjen, Michael. 2012. “Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions.” in Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, edited by Peter Dybjer, Sten Lindström, Erik Palmgren, and Göran Sundholm, pp. 313–350. Logic, Epistemology, and the Unity of Science n. 27. Dordrecht: Springer.
Rathjen, Michael and Sieg, Wilfried. 2018. “Proof Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2018/entries/proof-theory/.
Rathjen, Michael and Sieg, Wilfried. 2024. “Proof Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2024/entries/proof-theory/.