Publication:
When exactly is Scott sober?

Loading...
Thumbnail Image
Date
2010
Authors
Ho, Weng Kin
Zhao, Dongsheng
Journal Title
Journal ISSN
Volume Title
Publisher
Research Projects
Organizational Units
Journal Issue
Abstract
A topological space is sober if every nonempty irreducible closed set is the closure of a unique singleton set. Sobriety is precisely the topological property that allows one to recover completely a topological space from its frame of opens. Because every Hausdor space is sober, sobriety is an overt, and hence unnamed, notion. Even in non-Hausdor settings, sober spaces abound. A well-known instance of a sober space appears in domain theory: the Scott topology of a continuous dcpo is sober. The converse is false as witnessed by two counterexamples constructed in the early 1980's: the first by P.T. Johnstone and the second (a complete lattice) by J. Isbell. Since then, there has been limited progress in the quest for an order-theoretic characterization of those dcpo's for which their Scott topology is sober. This paper provides one answer to this open problem.
Description
Technical report M2010-02, September 2010, Mathematics and Mathematics Education, National Institute of Education, Singapore
Keywords
Scott topology, Sober space, dcpo, Dominated dcpo,, H-continuous, H-algebraic, H-compact, Strongly H-algebraic
Citation
Collections