Anton Setzer (setzer-a)
Contributions to Philosophie.ch
No contributions yet
Bibliography
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.
Setzer, Anton. 2012. “Coalgebras as Types Determined by Their Elimination Rules.” 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. 351–370. Logic, Epistemology, and the Unity of Science n. 27. Dordrecht: Springer.