Tychonov's Theorem in Abstract Stone Duality
Paul J. Taylor · 2006
New constructive definition of compactness in the form of the existence of a continuous ”uni-versal quantifier”. Construction and compactness of Cantor space. Baire space is not definable (locally compact). Examination of the (non-) impact of a counterexample due to Kleene that has previously undermined other attempts to define and prove compactness of Cantor space constructively. 1