Explicit mathematics and operational set theory: some ontological comparisons
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 |