On the existence of Stone-Čech compactification

DOI10.2178/jsl/1286198140zbMath1225.03089arXiv0906.5146MaRDI 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 theory; Stone-Čech compactification; constructive set theory; CZF; non-degenerate Boolean locale; principle of uniformity; regular extension axiom

Mathematics Subject Classification ID

03F60: Constructive and recursive analysis

06D22: Frames, locales

54D35: Extensions of spaces (compactifications, supercompactifications, completions, etc.)

03F65: Other constructive mathematics

Related Items

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

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
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item