Ideal models of spaces.
From MaRDI portal
Publication:1427784
DOI10.1016/S0304-3975(02)00698-9zbMath1044.54005MaRDI QIDQ1427784
Publication date: 14 March 2004
Published in: Theoretical Computer Science (Search for Journal in Brave)
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 T1 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.