Publisher： Cambridge University Press
E-ISSN： 1943-5886|71|2|491-500
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.71, Iss.2, 2006-06, pp. : 491-500
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
By using some classical reasoning we show that any countably presented formal topology, namely, a formal topology with a countable axiom set, is spatial.
Related content
The Journal of Symbolic Logic, Vol. 72, Iss. 2, 2007-06 ,pp. :
Access to resources
Recommend
Minimal invariant spaces in formal topology
The Journal of Symbolic Logic, Vol. 62, Iss. 3, 1997-09 ,pp. :
Remarks on the topology of spatial polygon spaces
Bulletin of the Australian Mathematical Society, Vol. 58, Iss. 3, 1998-12 ,pp. :
Countably Complementable Linear Orderings
Order, Vol. 23, Iss. 4, 2006-11 ,pp. :