Local compactness and the Baire category theorem in abstract Stone duality

DOI10.1016/S1571-0661(04)80572-3zbMATH Open1270.54017MaRDI QIDQ2842829FDOQ2842829

Authors: Paul H. Taylor 

Publication date: 16 August 2013

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

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)

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)

Cites Work

• Title not available (Why is that?)
• An extension of the Galois theory of Grothendieck
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Inside every model of abstract Stone duality lies an arithmetic universe
• A lambda calculus for real analysis
• Title not available (Why is that?)
• Computably Based Locally Compact Spaces

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)