Spatiality of countably presentable locales (proved with the Baire category theorem)

DOI10.1017/S0960129513000418zbMath1362.54024OpenAlexW2097204576MaRDI QIDQ5740673

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

Mathematics Subject Classification ID

Frames, locales (06D22) Semimetric spaces (54E25)

Related Items (10)

Domain-complete and LCS-complete spaces ⋮ Unnamed Item ⋮ A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES ⋮ Presenting quotient locales ⋮ Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions ⋮ Groups and dynamics: topology, measure, and Borel structure. Abstracts from the workshop held January 16--22, 2022 ⋮ Decompositions and measures on countable Borel equivalence relations ⋮ A generalization of a theorem of Hurewicz for quasi-Polish spaces ⋮ Some notes on spaces of ideals and computable topology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Joins in the frame of nuclei
• Information systems for continuous posets
• Continuous Lattices and Domains
• Every countably presented formal topology is spatial, classically

This page was built for publication: Spatiality of countably presentable locales (proved with the Baire category theorem)