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

DOI10.1017/S0960129513000418MaRDI QIDQ5740673zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

Recommendations

• Every countably presented formal topology is spatial, classically
• A note on the Hofmann-Lawson-Banaschewski theorem
• Local compactness and the Baire category theorem in abstract Stone duality
• Some weak forms of the Baire category theorem
• The axiom of countable choice and pointfree topology

Cites work

• scientific article; zbMATH DE number 3112450 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• Continuous Lattices and Domains
• Every countably presented formal topology is spatial, classically
• Information systems for continuous posets
• Joins in the frame of nuclei

Cited in

(13)

• Some notes on spaces of ideals and computable topology
• Decompositions and measures on countable Borel equivalence relations
• 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
• scientific article; zbMATH DE number 7093560 (Why is no real title available?)
• Local compactness and the Baire category theorem in abstract Stone duality
• Presenting quotient locales
• 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)