WHY TOPOLOGY IN THE MINIMALIST FOUNDATION MUST BE POINTFREE.
We give arguments explaining why, when adopting a minimalist approach to constructive mathematics as that formalized in our two-level minimalist foundation, the choice for a pointfree approach to topology is not just a matter of convenience or mathematical elegance, but becomes compulsory. The main...
| Publicado en: | Logic & Logical Philosophy Vol. 22; no. 2; pp. 167 - 200 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Logic & Logical Philosophy
Jun2013
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |