Ideal models of spaces.

DOI10.1016/S0304-3975(02)00698-9zbMath1044.54005MaRDI QIDQ1427784

Keye Martin

Publication date: 14 March 2004

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

zbMATH Keywords

TopologyModelsMaximal elementsDomain theory

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Topological characterizations of particular spaces (54F65) Semantics in the theory of computing (68Q55) Basic constructions in general topology (54B99) Topological lattices (06B30)

Related Items (12)

Continuous prequantale models of \(T_1\) topological semigroups ⋮ Maximal point spaces of dcpos satisfying the Lawson condition ⋮ The Xi-Zhao model of \(T_1\)-spaces ⋮ Directed complete poset models of T₁ spaces ⋮ The regular spaces with countably based models. ⋮ Domain theoretical differential calculi ⋮ On computational environments of topological spaces ⋮ On topological spaces that have a bounded complete dcpo model ⋮ Domain representability and the Choquet game in Moore and BCO-spaces ⋮ Algebraic models for \(T_1\)-spaces ⋮ Topological aspects of poset spaces ⋮ Lower topological poset models of \(T_1\) topological spaces

Cites Work

• Domain theory and integration
• Total objects of domains
• A computational model for metric spaces
• Computation on metric spaces via domain theory
• Uniform approximation of topological spaces
• The regular spaces with countably based models.
• A category of compositional domain-models for separable Stone spaces.
• Dynamical systems, measures, and fractals via domain theory
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Ideal models of spaces.