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 |
