The Ho-Zhao problem

DOI10.23638/LMCS-14(1:7)2018MaRDI QIDQ3130546zbMATH OpenFDO

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

Publication date 23 January 2018

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

zbMATH Keywords

Ho-Zhao problemJohnstone's counterexampleScott topologyScott-closed setssobrification

Mathematics Subject Classification ID

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

Recommendations

• Consistent Hoare powerdomains over dcpos
• Uniqueness of directed complete posets based on Scott closed set lattices
• scientific article; zbMATH DE number 1829327
• Dcpo-completion of posets
• A non-topological view of dcpos as convergence spaces.

Cites work

• Continuous Lattices and Domains
• Dcpo-completion of posets
• scientific article; zbMATH DE number 3666860 (Why is no real title available?)
• scientific article; zbMATH DE number 3735877 (Why is no real title available?)
• scientific article; zbMATH DE number 3747204 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 3285265 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• Lattice-equivalence of topological spaces
• Lattices of Scott-closed sets.
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• On the Representations of an Abstract Lattice as the Family of Closed Sets of a Topological Space

Cited in

(16)

• A logic for Lawson compact algebraic L-domains
• The order-sobrification monad
• Lattices of irreducibly-derived closed sets
• C_-unique dcpos and non-maximality of the class of dominated dcpos regarding -faithfulness
• On two problems about sobriety of topological spaces
• scientific article; zbMATH DE number 1484753 (Why is no real title available?)
• Uniqueness of directed complete posets based on Scott closed set lattices
• The logic of information in state spaces
• Consistent disjunctive sequent calculi and Scott domains
• Separating minimal valuations, point-continuous valuations, and continuous valuations
• On open well-filtered spaces
• On P-sober spaces
• Topological representations of Lawson compact algebraic L-domains and Scott domains
• The order-K-ification monads
• \(\mathrm{wb}\)-sober spaces and the core-coherence of \(\mathrm{dcpo}\) models
• Spaces determined by their Smyth hyperspaces with the Scott topology

This page was built for publication: The Ho-Zhao problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3130546)