Computably Based Locally Compact Spaces

DOI10.2168/LMCS-2(1:1)2006zbMath1126.03041arXivmath/0512110MaRDI QIDQ5310648

No author found.

Publication date: 11 October 2007

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0512110

Mathematics Subject Classification ID

Compactness (54D30) Frames, locales (06D22) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Continuous lattices and posets, applications (06B35) Theory of numerations, effectively presented structures (03D45)

Related Items (3)

Unnamed Item ⋮ Sobriety for equilogical spaces ⋮ The Dedekind reals in abstract Stone duality

This page was built for publication: Computably Based Locally Compact Spaces