Johnstone, P. T. Tychonoff’s theorem without the axiom of choice. (English) Zbl 0503.54006 Fundam. Math. 113, 21-35 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 ReviewsCited in 25 Documents MSC: 54A35 Consistency and independence results in general topology 54D30 Compactness 18B30 Categories of topological spaces and continuous mappings (MSC2010) 06B23 Complete lattices, completions 54D35 Extensions of spaces (compactifications, supercompactifications, completions, etc.) 18B25 Topoi 03E25 Axiom of choice and related propositions Keywords:choice-free construction of Stone-Cech compactification of a locale; topos-theoretic applications; category of frames; category of locales; Tikhonov’s theorem PDF BibTeX XML Cite \textit{P. T. Johnstone}, Fundam. Math. 113, 21--35 (1981; Zbl 0503.54006) Full Text: DOI EuDML OpenURL