scientific article

DOI10.23638/LMCS-14(1:7)2018zbMath1459.06003arXiv1607.03286MaRDI QIDQ3130546

Xiaoyong Xi, Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung

Publication date: 23 January 2018

Full work available at URL: https://arxiv.org/abs/1607.03286

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

zbMATH Keywords

Scott topologysobrificationHo-Zhao problemJohnstone's counterexampleScott-closed sets

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Topological lattices (06B30) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Related Items

Lattices of irreducibly-derived closed sets ⋮ \(C_\sigma\)-unique dcpos and non-maximality of the class of dominated dcpos regarding \(\Gamma\)-faithfulness ⋮ Consistent disjunctive sequent calculi and Scott domains ⋮ Separating minimal valuations, point-continuous valuations, and continuous valuations ⋮ On two problems about sobriety of topological spaces ⋮ Unnamed Item ⋮ On \(P\)-sober spaces ⋮ Topological representations of Lawson compact algebraic L-domains and Scott domains ⋮ The order-K-ification monads ⋮ A logic for Lawson compact algebraic L-domains ⋮ The order-sobrification monad ⋮ Uniqueness of directed complete posets based on Scott closed set lattices ⋮ THE LOGIC OF INFORMATION IN STATE SPACES

Cites Work

• Dcpo-completion of posets
• Lattice-equivalence of topological spaces
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory
• On the Representations of an Abstract Lattice as the Family of Closed Sets of a Topological Space
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item