By using some classical reasoning we show that any countably presented inductively generated formal topology, namely, an inductively generated formal topology with a countable set of axioms, is spatial.
Every countably presented formal topology is spatial, classically
VALENTINI, SILVIO
2006
Abstract
By using some classical reasoning we show that any countably presented inductively generated formal topology, namely, an inductively generated formal topology with a countable set of axioms, is spatial.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
SpatialityPrinted.pdf
Accesso riservato
Tipologia:
Published (Publisher's Version of Record)
Licenza:
Accesso privato - non pubblico
Dimensione
129.16 kB
Formato
Adobe PDF
|
129.16 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
