Every countably presented formal topology is spatial, classically
From MaRDI portal
Publication:5480621
DOI10.2178/jsl/1146620155zbMath1106.03053MaRDI QIDQ5480621
Publication date: 3 August 2006
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1146620155
54A05: Topological spaces and generalizations (closure spaces, etc.)
03F65: Other constructive mathematics
Related Items
Generalising the fan theorem, Spatiality of countably presentable locales (proved with the Baire category theorem), Independence results in formal topology, Objects: a study in Kantian formal epistemology, Constructive characterizations of bar subsets, Eliminating disjunctions by disjunction elimination, Spatiality and classical logic, Relative formal topology: the binary positivity predicate comes first
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Inductively generated formal topologies.
- Some points in formal topology.
- The problem of the formalization of constructive topology
- Formal topologies on the set of first-order formulae
- A structural investigation on formal topology: coreflection of formal covers and exponentiability
- An Intuitionistic Version of Cantor's Theorem