Fulltext

EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS

JÄGER, GERHARD ; ZUMBRUNNEN, RICO

In: The Bulletin of Symbolic Logic, 2014, vol. 20, no. 3, p. 275-292

Ajouter à la liste personnelle
    Titre
    • EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS
    Auteur
    • JÄGER, GERHARD. INSTITUT FÜR INFORMATIK UND ANGEWANDTE MATHEMATIK UNIVERSITÄT BERN NEUBRÜCKSTRASSE 10 CH-3012 BERN SWITZERLAND E-mail: jaeger@iam.unibe.ch, rico.zumbrunnen@iam.unibe.ch
    • ZUMBRUNNEN, RICO. INSTITUT FÜR INFORMATIK UND ANGEWANDTE MATHEMATIK UNIVERSITÄT BERN NEUBRÜCKSTRASSE 10 CH-3012 BERN SWITZERLAND E-mail: jaeger@iam.unibe.ch, rico.zumbrunnen@iam.unibe.ch
    Type de document
    • Postprint
    Langue
    • Anglais
    Publié dans
    • The Bulletin of Symbolic Logic, 2014, vol. 20, no. 3, p. 275-292. Cambridge University Press
    Autre version électronique
    Identifiant OAI-PMH
    • oai:doc.rero.ch:302305
    Summary
    We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications