This paper contains: 1. a survey of what has been achieved in formal topology, 2. a short introduction to the Basic Picture, the new discipline which generalizes formal topology (on which a book by the same author is going to be published) 3. some philosophical considerations on the constructive development of topology
Some points in formal topology
SAMBIN, GIOVANNI
2003
Abstract
This paper contains: 1. a survey of what has been achieved in formal topology, 2. a short introduction to the Basic Picture, the new discipline which generalizes formal topology (on which a book by the same author is going to be published) 3. some philosophical considerations on the constructive development of topologyFile in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.