Spatiality of countably presentable locales (proved with the Baire category theorem)
From MaRDI portal
Publication:5740673
DOI10.1017/S0960129513000418zbMATH Open1362.54024OpenAlexW2097204576MaRDI QIDQ5740673FDOQ5740673
Authors: Reinhold Heckmann 
Publication date: 27 July 2016
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129513000418
Recommendations
Cites Work
- Title not available (Why is that?)
- Information systems for continuous posets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Continuous Lattices and Domains
- Title not available (Why is that?)
- Every countably presented formal topology is spatial, classically
- Joins in the frame of nuclei
Cited In (13)
- Decompositions and measures on countable Borel equivalence relations
- Some notes on spaces of ideals and computable topology
- Groups and dynamics: topology, measure, and Borel structure. Abstracts from the workshop held January 16--22, 2022
- Localic Products of Spaces
- A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES
- Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions
- Domain-complete and LCS-complete spaces
- Title not available (Why is that?)
- Presenting quotient locales
- Local compactness and the Baire category theorem in abstract Stone duality
- A generalization of a theorem of Hurewicz for quasi-Polish spaces
- Every countably presented formal topology is spatial, classically
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
This page was built for publication: Spatiality of countably presentable locales (proved with the Baire category theorem)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740673)
