Local compactness and the Baire category theorem in abstract Stone duality

DOI10.1016/S1571-0661(04)80572-3MaRDI QIDQ2842829zbMATH OpenFDO

Authors Paul H. Taylor

Publication date 16 August 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Categorical methods in general topology (54B30) Baire category, Baire spaces (54E52) Local compactness, (sigma)-compactness (54D45) Lattices and duality (06D50)

Recommendations

• Computably Based Locally Compact Spaces
• Foundations for computable topology
• scientific article; zbMATH DE number 1770056
• scientific article; zbMATH DE number 1555466
• Spatiality of countably presentable locales (proved with the Baire category theorem)

Cites work

• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3726420 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 1555466 (Why is no real title available?)
• scientific article; zbMATH DE number 1770055 (Why is no real title available?)
• scientific article; zbMATH DE number 1770056 (Why is no real title available?)
• An extension of the Galois theory of Grothendieck

Cited in

(6)

• Computably Based Locally Compact Spaces
• Inside every model of abstract Stone duality lies an arithmetic universe
• Foundations for computable topology
• A lambda calculus for real analysis
• Spatiality of countably presentable locales (proved with the Baire category theorem)
• scientific article; zbMATH DE number 1770056 (Why is no real title available?)

This page was built for publication: Local compactness and the Baire category theorem in abstract Stone duality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842829)