Total objects of domains

DOI10.1016/0304-3975(84)90055-0MaRDI QIDQ800730zbMATH OpenOpenAlexFDO

Authors Tsutomu Kamimura, Adrian Tang

Publication date 1984

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

Full work available at URL https://doi.org/10.1016/0304-3975(84)90055-0

zbMATH Keywords

Scott topologycontinuous latticesbounded-complete cpototal objects

Mathematics Subject Classification ID

Partial orders, general (06A06) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Topological lattices (06B30)

Recommendations

• scientific article; zbMATH DE number 3849214
• Total sets and objects in domain theory
• Normal domain representations of topological spaces
• Continuous \(L\)-domains
• scientific article; zbMATH DE number 1531356

Cites work

• 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?)
• A Powerdomain Construction
• Computability theory in admissible domains
• Some Stone spaces and recursion theory

Cited in

(21)

• Topologies generated by families of sets and strong poset models
• Polish spaces, computable approximations, and bitopological spaces
• Total sets and objects in domain theory
• Domain theoretical differential calculi
• scientific article; zbMATH DE number 4053871 (Why is no real title available?)
• A computational model for metric spaces
• Ideal models of spaces.
• Maximal point spaces of dcpos satisfying the Lawson condition
• Continuous prequantale models of T₁ topological semigroups
• A category of compositional domain-models for separable Stone spaces.
• Topological games in domain theory
• Bounded complete models of topological spaces
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• Lower topological poset models of \(T_1\) topological spaces
• Computation on metric spaces via domain theory
• Can partial indexings be totalized?
• Some of Melvin Henriksen's contributions to spaces of ideals
• Lower topological algebraic domain models of topological spaces
• Topological semigroups and their prequantale models
• On computational environments of topological spaces
• An application of a representation theorem for fuzzy metrics to domain theory

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)