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:
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.
