Explicit mathematics and operational set theory: some ontological comparisons


Autoria(s): Jäger, Gerhard; Zumbrunnen, Rico
Data(s)

2014

Resumo

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.

Formato

application/pdf

Identificador

http://boris.unibe.ch/61789/8/jz14.pdf

Jäger, Gerhard; Zumbrunnen, Rico (2014). Explicit mathematics and operational set theory: some ontological comparisons. The Bulletin of Symbolic Logic, 20(03), pp. 275-292. Cambridge University Press 10.1017/bsl.2014.21 <http://dx.doi.org/10.1017/bsl.2014.21>

doi:10.7892/boris.61789

info:doi:10.1017/bsl.2014.21

urn:issn:1079-8986

Idioma(s)

eng

Publicador

Cambridge University Press

Relação

http://boris.unibe.ch/61789/

Direitos

info:eu-repo/semantics/openAccess

Fonte

Jäger, Gerhard; Zumbrunnen, Rico (2014). Explicit mathematics and operational set theory: some ontological comparisons. The Bulletin of Symbolic Logic, 20(03), pp. 275-292. Cambridge University Press 10.1017/bsl.2014.21 <http://dx.doi.org/10.1017/bsl.2014.21>

Palavras-Chave #000 Computer science, knowledge & systems #510 Mathematics
Tipo

info:eu-repo/semantics/article

info:eu-repo/semantics/publishedVersion

PeerReviewed