Every countably presented formal topology is spatial, classically

DOI10.2178/JSL/1146620155zbMath1106.03053OpenAlexW1997158744MaRDI QIDQ5480621

Silvio Valentini

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

zbMATH Keywords

spatial topologycountably presented formal topology

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Other constructive mathematics (03F65)

Related Items (8)

Spatiality and classical logic ⋮ Constructive characterizations of bar subsets ⋮ Relative formal topology: the binary positivity predicate comes first ⋮ Eliminating disjunctions by disjunction elimination ⋮ Generalising the fan theorem ⋮ Independence results in formal topology ⋮ Objects: a study in Kantian formal epistemology ⋮ Spatiality of countably presentable locales (proved with the Baire category theorem)

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

This page was built for publication: Every countably presented formal topology is spatial, classically