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.
Citation
Silvio Valentini. "Every countably presented formal topology is spatial, classically." J. Symbolic Logic 71 (2) 491 - 500, June 2006. https://doi.org/10.2178/jsl/1146620155
Information
Published: June 2006
First available in Project Euclid: 2 May 2006
zbMATH: 1106.03053
MathSciNet: MR2225890
Digital Object Identifier: 10.2178/jsl/1146620155
Rights: Copyright © 2006 Association for Symbolic Logic
