The problem of the formalization of constructive topology

DOI10.1007/S00153-004-0243-1zbMath1060.03085OpenAlexW2034294362MaRDI QIDQ1765104

Silvio Valentini

Publication date: 22 February 2005

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-004-0243-1

zbMATH Keywords

constructive topologyinductive generationpositivity predicate

Mathematics Subject Classification ID

Special properties of topological spaces (54F99) Other constructive mathematics (03F65) Inductive definability (03D70)

Related Items (10)

Sublocales in formal topology ⋮ Relative formal topology: the binary positivity predicate comes first ⋮ Cosheaves and connectedness in formal topology ⋮ Objects: a study in Kantian formal epistemology ⋮ Vagueness, Kant and topology: a study of formal epistemology ⋮ Formalising Overlap Algebras in Matita ⋮ Every countably presented formal topology is spatial, classically ⋮ Programming interfaces and basic topology ⋮ Formal Zariski topology: Positivity and points ⋮ Compactness in locales and in formal topology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Inductively generated formal topologies.
• Some points in formal topology.
• Tychonoff's theorem in the framework of formal topologies

This page was built for publication: The problem of the formalization of constructive topology