Dieter Probst (probst-d)

Contributions to Philosophie.ch

Bibliography

Jäger, Gerhard and Probst, Dieter. 2004. “Iterating \(\Sigma\) Operations in Admissible Set Theory without Foundation: A Further Aspect of Metaprediative Mahlo.” in One Hundred Years of Russell’s Paradox. Mathematics, Logic, Philosophy, edited by Godehard Link, pp. 119–134. de Gruyter Series in Logic and Its Applications n. 6. Berlin: de Gruyter.
Probst, Dieter and Schuster, Peter, eds. 2016. Concepts of Proof in Mathematics, Philosophy, and Computer Science. Ontos Mathematical Logic n. 6. Berlin: de Gruyter.
Probst, Dieter and Studer, Thomas. n.d. “How to Normalize the Jay.” Unpublished manuscript.