A representation of stably compact spaces, and patch topology.

DOI10.1016/S0304-3975(02)00695-3zbMath1049.54027OpenAlexW1995467479MaRDI QIDQ1427774

D. Massart

Publication date: 14 March 2004

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00695-3

zbMATH Keywords

localepatch topologyentailment relationsconstructive functional analysisstable compact spaces

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Topological spaces and generalizations (closure spaces, etc.) (54A05) Other constructive mathematics (03F65)

Related Items (4)

Presenting de Groot duality of stably compact spaces ⋮ Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces ⋮ Unnamed Item ⋮ On the relationship between compact regularity and Gentzen's cut rule

Cites Work

• The Problem of Simplifying Truth Functions
• The regular-locally compact coreflection of a stably locally compact locale
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A representation of stably compact spaces, and patch topology.