Exact approximations to Stone-Čech compactification

DOI10.1016/j.apal.2006.12.004zbMath1139.03044OpenAlexW2087012733MaRDI QIDQ882119

Giovanni Curi

Publication date: 23 May 2007

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2006.12.004

zbMATH Keywords

compactificationlocaleconstructive type theorytoposconstructive set theorypoint-free topology

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Topoi (18B25) Frames, locales (06D22) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Other constructive mathematics (03F65)

Related Items (9)

On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology ⋮ Locatedness and overt sublocales ⋮ Topological inductive definitions ⋮ A point-free characterisation of Bishop locally compact metric spaces ⋮ Remarks on the Stone-Čech and Alexandroff compactifications of locales ⋮ On some peculiar aspects of the constructive theory of point-free spaces ⋮ On the existence of Stone-Čech compactification ⋮ Constructive strong regularity and the extension property of a compactification ⋮ On the collection of points of a formal space

Cites Work

• On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology
• Stone-Čech compactification of locales. II
• Sheaves in geometry and logic: a first introduction to topos theory
• Compact spaces and distributive lattices.
• Inductively generated formal topologies.
• The Stone-Čech compactification of locales. III
• Constructive metrisability in point-free topology.
• Formal spaces and their effective presentations
• Aspects of general topology in constructive set theory
• On the collection of points of a formal space
• Maximal and partial points in formal spaces
• On some peculiar aspects of the constructive theory of point-free spaces
• The point of pointless topology
• Tychonoff's theorem without the axiom of choice
• Applications of the Theory of Boolean Rings to General Topology
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Exact approximations to Stone-Čech compactification