Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/schuster-p

Peter Schuster (schuster-p)

Contributions à Philosophie.ch

No contributions yet

Bibliography

    Berger, Josef and Schuster, Peter. 2009. Dini’s Theorem in the Light of Reverse Mathematics.” in Logicism, Intuitionism, and Formalism. What Has Become of Them?, edited by Sten Lindström, Erik Palmgren, Krister Segerberg, and Viggo Stoltenberg-Hansen, pp. 153–166. Synthese Library n. 341. Dordrecht: Springer.
    Berger, Ulrich, Diener, Hannes, Schuster, Peter and Seisenberger, Monika, eds. 2012. Logic, Construction, Computation. Ontos Mathematical Logic n. 3. Heusenstamm b. Frankfurt: Ontos Verlag.
    Crosilla, Laura and Schuster, Peter. 2005. From Sets and Types to Topology and Analysis. Towards Practicable Foundations for Constructive Mathematics. Oxford Logic Guides n. 48. Oxford: Oxford University Press.
    Probst, Dieter and Schuster, Peter, eds. 2016. Concepts of Proof in Mathematics, Philosophy, and Computer Science. Ontos Mathematical Logic n. 6. Berlin: de Gruyter.
    Schuster, Peter. 1995. Extended Molecular Evolutionary Biology: Artificial Life Bridging the Gap Between Chemistry and Biology.” in Artificial Life: An Overview, edited by Christopher G. Langton, pp. 39–60. Cambridge, Massachusetts: The MIT Press.
    Schuster, Peter. 2001. Mathematical Challenges from Molecular Evolution.” in Mathematics Unlimited – 2001 and Beyond, edited by Björn Engquist and Wilfried Schmid, pp. 1019–1038. Berlin: Springer.
    Schuster, Peter. 2004. Countable Choice as a Questionable Uniformity Principle.” Philosophia Mathematica 12(2): 106–134.
    Schuster, Peter. 2005. Logisch zwingende Teilprinzipien von ZFC.” Logique et Analyse 48(189–192): 301–310.
    Schuster, Peter, Berger, Ulrich and Osswald, H., eds. 2001. Reuniting the Antipodes – Constructive and Nonstandard Views of the Continuum. Synthese Library n. 306. Dordrecht: Kluwer Academic Publishers.
    Schuster, Peter and Schwichtenberg, Helmut. 2004. Constructive Solutions of Continuous Equations.” in One Hundred Years of Russell’s Paradox. Mathematics, Logic, Philosophy, edited by Godehard Link, pp. 227–246. de Gruyter Series in Logic and Its Applications n. 6. Berlin: de Gruyter.
    Schuster, Peter and Zappe, Júlia. 2008. Über das Kripke-Schema und abzählbare Teilmengen.” Logique et Analyse 51(204): 317–329.