Sublocales in formal topology

DOI10.2178/jsl/1185803619zbMath1132.03033OpenAlexW2131309117MaRDI QIDQ5294021

Steven Vickers

Publication date: 9 July 2007

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://research.birmingham.ac.uk/portal/en/publications/sublocales-in-formal-topology(b8127680-f122-46f5-b2b1-ffe4108ce2ca).html

zbMATH Keywords

compactweakly closedfittedformal topologyclosedopenpower localeinductively generatedlocale, sublocale

Mathematics Subject Classification ID

Frames, locales (06D22) Subspaces in general topology (54B05) Other constructive mathematics (03F65)

Related Items (9)

Continuity and geometric logic ⋮ Positivity relations on a locale ⋮ Relative formal topology: the binary positivity predicate comes first ⋮ Generalising the fan theorem ⋮ Locatedness and overt sublocales ⋮ An induction principle for consequence in arithmetic universes ⋮ Cosheaves and connectedness in formal topology ⋮ Unnamed Item ⋮ The connected Vietoris powerlocale

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Joins in the frame of nuclei
• Inductively generated formal topologies.
• Some points in formal topology.
• The problem of the formalization of constructive topology
• Heyting-valued interpretations for constructive set theory
• Compactness in locales and in formal topology
• Constructive points of powerlocales
• Topical categories of domains
• Constructive theory of the lower power locale

This page was built for publication: Sublocales in formal topology