Abstract
A nonempty compact saturated subset F of a topological space is called k-irreducible if it cannot be written as a union of two compact saturated proper subsets. A topological space is said to be co-sober if each of its k-irreducible compact saturated sets is the saturation of a point. Wen and Xu (2018) proved that Isbell's non-sober complete lattice equipped with the lower topology is sober but not co-sober. So far, it is still unknown whether every sober Scott space is co-sober. In this paper, we construct a dcpo whose Scott space is sober but not co-sober, which strengthens Wen and Xu's result.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
