The regular spaces with countably based models.

DOI10.1016/S0304-3975(02)00700-4zbMath1053.54037MaRDI QIDQ1427785

Keye Martin

Publication date: 14 March 2004

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

zbMATH Keywords

modelstopologymaximal elementsdomain theory

Mathematics Subject Classification ID

Complete metric spaces (54E50) Semantics in the theory of computing (68Q55) Applications of set theory (03E75)

Related Items (9)

Topological games in domain theory ⋮ Continuous prequantale models of \(T_1\) topological semigroups ⋮ Maximal point spaces of dcpos satisfying the Lawson condition ⋮ Directed complete poset models of T₁ spaces ⋮ Ideal models of spaces. ⋮ On computational environments of topological spaces ⋮ On topological spaces that have a bounded complete dcpo model ⋮ Algebraic models for \(T_1\)-spaces ⋮ The space of maximal elements in a compact domain

Cites Work

• A computational model for metric spaces
• Ideal models of spaces.
• A Glimm-Effros Dichotomy for Borel Equivalence Relations
• Spaces of maximal points
• When Scott is weak on the top
• The space of maximal elements in a compact domain
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The regular spaces with countably based models.