Compactly generated Hausdorff locales

Annals of Pure and Applied Logic 137 (1-3):147-163 (2006)
  Copy   BIBTEX

Abstract

We say that a Hausdorff locale is compactly generated if it is the colimit of the diagram of its compact sublocales connected by inclusions. We show that this is the case if and only if the natural map of its frame of opens into the second Lawson dual is an isomorphism. More generally, for any Hausdorff locale, the second dual of the frame of opens gives the frame of opens of the colimit. In order to arrive at this conclusion, we generalize the Hofmann–Mislove–Johnstone theorem and some results regarding the patch construction for stably locally compact locales

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Projective Hausdorff gaps.Yurii Khomskii - 2014 - Archive for Mathematical Logic 53 (1-2):57-64.
Hausdorff measure on o-minimal structures.A. Fornasiero & E. Vasquez Rifo - 2012 - Journal of Symbolic Logic 77 (2):631-648.
A test for expandability.Enrique Casanovas - 1998 - Archive for Mathematical Logic 37 (4):221-234.
„Philosophie als eigene Antwort auf die Frage Welt“: Briefe Felix Hausdorffs an Franz Meyer.Uwe Dathe - 2007 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 15 (2):137-147.
Random closed sets viewed as random recursions.R. Daniel Mauldin & Alexander P. McLinden - 2009 - Archive for Mathematical Logic 48 (3-4):257-263.
Ladder Gaps over Stationary Sets.Uri Abraham & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (2):518 - 532.
The Hausdorff-Ershov Hierarchy in Euclidean Spaces.Armin Hemmerling - 2006 - Archive for Mathematical Logic 45 (3):323-350.
Compactly expandable models and stability.Enrique Casanovas - 1995 - Journal of Symbolic Logic 60 (2):673-683.
Reduced coproducts of compact hausdorff spaces.Paul Bankston - 1987 - Journal of Symbolic Logic 52 (2):404-424.
On ultracoproducts of compact hausdorff spaces.R. Gurevič - 1988 - Journal of Symbolic Logic 53 (1):294-300.

Analytics

Added to PP
2013-12-31

Downloads
12 (#929,405)

6 months
3 (#445,838)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references