Total objects of domains
The main result of this paper is a characterization of the space induced by Scott topology on the set of total objects of a bounded-complete cpo. This characterization is simple with bounded-complete algebraic cpo's where a family of clopen sets plays an essential role in the characterization. In the more general case of continuity, one can only produce distinct families of open sets and closed sets to axiomatize the essential properties of a total space. Besides the main characterization, we also discuss its relation to continuous spaces, studied in our earlier paper, and the relation between compact \(T_ 1\) spaces and total spaces under the lower topology.
- A Powerdomain Construction
- Computability theory in admissible domains
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 3440003 (Why is no real title available?)
- scientific article; zbMATH DE number 3255437 (Why is no real title available?)
- Some Stone spaces and recursion theory
- A computational model for metric spaces
- Total sets and objects in domain theory
- Computation on metric spaces via domain theory
- Ideal models of spaces.
- Polish spaces, computable approximations, and bitopological spaces
- Domain theoretical differential calculi
- A category of compositional domain-models for separable Stone spaces.
- Topological games in domain theory
- Bounded complete models of topological spaces
- Continuous prequantale models of T₁ topological semigroups
- Lower topological poset models of \(T_1\) topological spaces
- Maximal point spaces of dcpos satisfying the Lawson condition
- Can partial indexings be totalized?
- scientific article; zbMATH DE number 4053871 (Why is no real title available?)
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
- Lower topological algebraic domain models of topological spaces
- Topological semigroups and their prequantale models
- Topologies generated by families of sets and strong poset models
- Some of Melvin Henriksen's contributions to spaces of ideals
- An application of a representation theorem for fuzzy metrics to domain theory
- A language for evaluating derivatives of functionals using automatic differentiation
- On computational environments of topological spaces
This page was built for publication: Total objects of domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q800730)
