An upper power domain construction in terms of strongly compact sets

DOI10.1007/3-540-55511-0_14zbMath1518.68200OpenAlexW1560675747MaRDI QIDQ6116576

Reinhold Heckmann

Publication date: 16 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-55511-0_14

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items (36)

On some topological properties of dcpo models of \(T_1\) topological spaces ⋮ Some open problems on well-filtered spaces and sober spaces ⋮ \(C_\sigma\)-unique dcpos and non-maximality of the class of dominated dcpos regarding \(\Gamma\)-faithfulness ⋮ \(s_2\)-quasialgebraic posets ⋮ A new dcpo whose Scott topology is well-filtered but not sober ⋮ Non-reflective categories of some kinds of weakly sober spaces ⋮ Hofmann-Mislove type definitions of non-Hausdorff spaces ⋮ Stable power domains ⋮ Unnamed Item ⋮ \(s_{Z}\)-quasicontinuous posets and meet \(s_{Z}\)-continuous posets ⋮ The upper topology and interval topology on quasi-hypercontinuous posets ⋮ Consistent Hoare powerdomains over dcpos ⋮ Unnamed Item ⋮ First countability, \( \omega \)-well-filtered spaces and reflections ⋮ The Xi-Zhao model of \(T_1\)-spaces ⋮ On some results related to sober spaces ⋮ Scott topology on Smyth power posets ⋮ A note on duals of topologies. ⋮ θ-continuity and D_θ-completion of posets ⋮ Well-filtered spaces and their dcpo models ⋮ On \(T_0\) spaces determined by well-filtered spaces ⋮ 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 ⋮ On \(FS_+\)-domains ⋮ Consistent Plotkin powerdomains. ⋮ A complete Heyting algebra whose Scott space is non-sober ⋮ Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains ⋮ Consistent Smyth powerdomains. ⋮ Categories of locally hypercompact spaces and quasicontinuous posets ⋮ 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 ⋮ First-countability, \( \omega \)-Rudin spaces and well-filtered determined spaces ⋮ On almost sober spaces ⋮ Uniqueness of directed complete posets based on Scott closed set lattices

Cites Work

• The Hoare and Symth power domain constructors commute under composition
• Lower and upper power domain constructions commute on all cpos
• Power domains
• A Powerdomain Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An upper power domain construction in terms of strongly compact sets