scientific article; zbMATH DE number 851999
From MaRDI portal
Publication:4868226
zbMath0900.68275MaRDI QIDQ4868226
Publication date: 6 March 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items
Quasicontinuous domains and the Smyth powerdomain ⋮ Some open problems on well-filtered spaces and sober spaces ⋮ Sober is not always co-sober ⋮ QRB, QFS, and the probabilistic powerdomain ⋮ Core-compactness, consonance and the Smyth powerspaces ⋮ A note on coherence of dcpos ⋮ Non-reflective categories of some kinds of weakly sober spaces ⋮ Hofmann-Mislove type definitions of non-Hausdorff spaces ⋮ Variations on the bagdomain theme ⋮ Enriched Stone-type dualities ⋮ Infinitary Noetherian constructions I. Infinite words ⋮ Coalgebraic representations of distributive lattices with operators ⋮ Consistent Smyth powerdomains of topological spaces and quasicontinuous domains ⋮ Unnamed Item ⋮ Probability, valuations, hyperspace: Three monads on top and the support as a morphism ⋮ First countability, \( \omega \)-well-filtered spaces and reflections ⋮ On \(P\)-sober spaces ⋮ A compact space is not always \(SI\)-compact ⋮ Scott topology on Smyth power posets ⋮ The order-K-ification monads ⋮ Extending algebraic operations to D-completions ⋮ Isomorphism theorems between models of mixed choice ⋮ Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions ⋮ Unnamed Item ⋮ On \(T_0\) spaces determined by well-filtered spaces ⋮ Unnamed Item ⋮ Coincidence of the upper Vietoris topology and the Scott topology ⋮ On H-sober spaces and H-sobrifications of \(T_0\) spaces ⋮ \textbf{K}-reflections of product spaces ⋮ A universal characterization of the double powerlocale ⋮ Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases ⋮ A complete Heyting algebra whose Scott space is non-sober ⋮ Observationally-induced lower and upper powerspace constructions ⋮ Stably Compact Spaces and Closed Relations ⋮ Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces ⋮ Hausdorff coalgebras ⋮ The order-sobrification monad ⋮ Some characterizations of weak sobriety and upper spaces ⋮ Extending Algebraic Operations to D-Completions ⋮ Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting ⋮ A direct approach to \(K\)-reflections of \(T_0\) spaces ⋮ On topological Rudin's lemma, well-filtered spaces and sober spaces ⋮ Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular ⋮ First-countability, \( \omega \)-Rudin spaces and well-filtered determined spaces ⋮ On almost sober spaces ⋮ A unified approach to some non-Hausdorff topological properties ⋮ Duality theory for enriched Priestley spaces ⋮ Properly injective spaces and function spaces ⋮ Limits in categories of Vietoris coalgebras ⋮ Integration in Real PCF ⋮ Dualities for modal algebras from the point of view of triples ⋮ The equivalence of QRB, QFS, and compactness for quasicontinuous domains.
