Vermeulen, J. J. C. Some constructive results related to compactness and the (strong) Hausdorff property for locales. (English) Zbl 0739.18001 Category theory, Proc. Int. Conf., Como/Italy 1990, Lect. Notes Math. 1488, 401-409 (1991). [For the entire collection see Zbl 0733.00009.]The principal results are constructive versions of ‘compact \(\Rightarrow\) locally compact \(\Rightarrow\) regular’, and ‘a compact sublocale of a Hausdorff locale is closed’. Reviewer: J.R.Isbell (Buffalo) Cited in 8 Documents MSC: 18B30 Categories of topological spaces and continuous mappings (MSC2010) 18B25 Topoi 03F65 Other constructive mathematics Keywords:compactness; local compactness; regularity; closedness; Hausdorff locale Citations:Zbl 0733.00009 PDFBibTeX XMLCite \textit{J. J. C. Vermeulen}, Lect. Notes Math. None, 401--409 (1991; Zbl 0739.18001)