Sober Scott spaces are not always co-sober (Q2215643): Difference between revisions

The main results of the paper are a generalization of the work done in the papers [\textit{D. Zhao} and \textit{X. Xi}, Math. Proc. Camb. Philos. Soc. 164, No. 1, 125--134 (2018; Zbl 1469.06012); \textit{D. Zhao}, ``Poset models of topological spaces'', in: Proceeding of the international conference on quantitative logic and quantification of software. Global-Link Publisher. 229--238 (2009)]. The new main results are presented as Proposition 2.1., Proposition 2.3. and Proposition 2.5. for Scott dcpo models for \(T_{0}\)-spaces and \(d\)-spaces. Then the following result is derived: Theorem 2.7. Let \(X\) be a \(d\)-space. Then there is a dcpo \(P_{X}\) and a topological embedding \(\psi:X \rightarrow \sum P_{X}\) satisfying the following properties: \begin{itemize} \item[(1)] \(\psi(X)=\uparrow\psi(X)\); \item[(2)] \(P_{X}=\downarrow\psi(X)\); \item[(3)] \(X\) is sober if and only if \(\sum P_{X}\) is sober. \end{itemize}