scientific article

Publication date: 17 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

domains algebraic posets continuous posets continuous directed complete posets algebraic directed complete poset

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Related Items (76)

Quasicontinuous domains and the Smyth powerdomain ⋮ \(RW\)-spaces and compactness of function spaces for L-domains ⋮ When does the class \([{\mathcal A} \longrightarrow {\mathcal B}\) consist of continuous domains?] ⋮ Spectral sets ⋮ Representations of algebraic domains and algebraic L-domains by information systems ⋮ Function spaces from coherent continuous domains to RB-domains ⋮ On function spaces equipped with Isbell topology and Scott topology ⋮ A Cartesian closed category of domains with almost algebraic bases ⋮ Quasi-continuous Yoneda complete quasi-metric space ⋮ Weak domain models of \(T_1\) spaces ⋮ Representation of FS-domains based on closure spaces ⋮ Generalised information systems capture L-domains ⋮ Unnamed Item ⋮ Discrete random variables over domains ⋮ Cartesian closed subcategories of \(\mathrm{CONT}_\ll^\ast\) ⋮ A note on coherence of dcpos ⋮ Algebraic domains of natural transformations ⋮ The Cartesian closedness of the category Fuzz and function spaces on topological fuzzes ⋮ Projective topology on bifinite domains and applications ⋮ Two categories of effective continuous cpos ⋮ A concrete realization of the Hoare powerdomain ⋮ Constructing a quasi-uniform function space ⋮ The dependent product construction in various categories of domains ⋮ Unnamed Item ⋮ On Cartesian closed extensions of non-pointed domains ⋮ Solutions to two problems of J. D. Lawson and M. Mislove ⋮ Weak well-filtered spaces and coherence ⋮ Continuity of function spaces from pointwise directed families of characteristic functions. ⋮ Cartesian closed extensions of subcategories of CONT ⋮ Weighted limits in the category Dcpo-S ⋮ A set-theoretic representation of algebraic L-domains ⋮ A representation of L-domains by information systems ⋮ Decomposition of domains ⋮ m-Algebraic lattices in formal concept analysis ⋮ QC-continuity of posets and the Hoare powerdomain of QFS-domains ⋮ The order-K-ification monads ⋮ QFS-domains and their Lawson compactness ⋮ Coincidence of the Isbell and Scott topologies on domain function spaces ⋮ Function spaces from Lawson compact continuous domains to continuous B-domains ⋮ Coincidence of the Isbell and Scott topologies on the function spaces of quasicontinuous domains ⋮ Unnamed Item ⋮ On \(FS_+\)-domains ⋮ Two Cartesian closed categories of information algebras ⋮ Weak algebraic information systems and a new equivalent category of DOM of domains ⋮ Bicontinuous Domains and Some Old Problems in Domain Theory ⋮ A Hofmann-Mislove theorem for bitopological spaces ⋮ Domain theory and integration ⋮ Elements of generalized ultrametric domain theory ⋮ A monad for randomized algorithms ⋮ Strongly semicontinuous lattices ⋮ On the largest Cartesian closed category of stable domains ⋮ A characterization of the least-fixed-point operator by dinaturality ⋮ On stable domains ⋮ Power domains and second-order predicates ⋮ A partial solution to an open problem of Amadio and Curien ⋮ Transformations of discrete closure systems ⋮ Domains arising as algebras for powerspace constructions ⋮ Cartesian closed categories of separable Scott domains ⋮ Uniform Completion versus Ideal Completion of Posets with Projections ⋮ The space of maximal elements in a compact domain ⋮ A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains ⋮ The probabilistic powerdomain for stably compact spaces ⋮ Lawson compactness on function spaces of domains ⋮ The order-sobrification monad ⋮ Function spaces from core compact coherent spaces to continuous B-domains ⋮ Representation of bifinite domains by BF-closure spaces ⋮ A representation of FS-domains by formal concept analysis ⋮ Unnamed Item ⋮ Properly injective spaces and function spaces ⋮ Topology, domain theory and theoretical computer science ⋮ Consistent-linear \textit{FS}-domains ⋮ A Hofmann-Mislove theorem for Bitopological Spaces ⋮ The equivalence of QRB, QFS, and compactness for quasicontinuous domains. ⋮ QFS-domains and quasicontinuous domains. ⋮ All Cartesian closed categories of quasicontinuous domains consist of domains ⋮ Free and cofree acts of dcpo-monoids on directed complete posets.

This page was built for publication: