On the existence of Stone-Čech compactification

DOI10.2178/jsl/1286198140zbMath1225.03089arXiv0906.5146OpenAlexW2085835278MaRDI QIDQ3066786

Giovanni Curi

Publication date: 12 January 2011

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

Full work available at URL: https://arxiv.org/abs/0906.5146

zbMATH Keywords

constructive type theoryStone-Čech compactificationconstructive set theoryCZFnon-degenerate Boolean localeprinciple of uniformityregular extension axiom

Mathematics Subject Classification ID

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

Related Items

On Tarski’s fixed point theorem, On Small Types in Univalent Foundations, Topological inductive definitions, Convergence in formal topology: a unifying notion, On some peculiar aspects of the constructive theory of point-free spaces, Constructive strong regularity and the extension property of a compactification, Towards formal Baer criteria

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology
• Stone-Čech compactification of locales. II
• Exact approximations to Stone-Čech compactification
• On the constructive Dedekind reals
• The strength of some Martin-Löf type theories
• Inductively generated formal topologies.
• The Stone-Čech compactification of locales. III
• Remarks on the Stone-Čech and Alexandroff compactifications of locales
• CZF and second order arithmetic
• Aspects of general topology in constructive set theory
• On bicompact spaces