The bounded-complete hull of an \(\alpha\)-space

DOI10.1016/S0304-3975(96)00167-3zbMath0912.68134OpenAlexW1980768744MaRDI QIDQ1392140

Yuri L. Ershov

Publication date: 23 July 1998

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(96)00167-3

zbMATH Keywords

bounded-complete hullrecognizable approximation

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (10)

Algebras of the extended probabilistic powerdomain monad ⋮ Extending algebraic operations to D-completions ⋮ The Cuntz semigroup and domain theory ⋮ Bicontinuous Domains and Some Old Problems in Domain Theory ⋮ Topological cones: functional analysis in a \(T_{0}\)-setting ⋮ Weak topologies and compactness in asymmetric functional analysis ⋮ Extending Algebraic Operations to D-Completions ⋮ Stably compact spaces ⋮ D-completions and the \(d\)-topology ⋮ Characterization of \(T_0\) spaces for liminf convergence being topological

Cites Work

• Unnamed Item
• The theory of A-spaces
• Relative regular closedness and \(\pi\)-valuations
• Computable functionals of finite types

This page was built for publication: The bounded-complete hull of an \(\alpha\)-space