On the existence of Stone-Čech compactification
From MaRDI portal
Publication:3066786
DOI10.2178/jsl/1286198140zbMath1225.03089arXiv0906.5146MaRDI QIDQ3066786
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
constructive type theory; Stone-Čech compactification; constructive set theory; CZF; non-degenerate Boolean locale; principle of uniformity; regular extension axiom
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