Abstract A topological space has a domain model if it is homeomorphic to the maximal point space $\mbox{Max}(P)$ of a domain $P$ . Lawson proved that every Polish space $X$ has an $\omega$ -domain model $P$ and for such a model $P$ , $\mbox{Max}(P)$ is a $G_{\delta }$ -set of the Scott space of $P$ . Martin (2003) then asked whether it is true that for every $\omega$ -domain $Q$ , $\mbox{Max}(Q)$ is $G_{\delta }$ -set of the Scott space of $Q$ . In this paper, we give a negative answer to Martin’s long-standing open problem by constructing a counterexample. The counterexample here actually shows that the answer is no even for $\omega$ -algebraic domains. In addition, we also construct an $\omega$ -ideal domain $\widetilde{Q}$ for the constructed $Q$ such that their maximal point spaces are homeomorphic. Therefore, $\textrm{Max}(Q)$ is a $G_\delta$ -set of the Scott space of the new model $\widetilde{Q}$ .

Abstract The study of the sobriety of Scott spaces has got a relatively long history in domain theory. Lawson and Hoffmann independently proved that the Scott space of every continuous directed complete poset (usually called domain) is sober. Johnstone constructed the first directed complete poset whose Scott space is non-sober. Soon after, Isbell gave a complete lattice with a non-sober Scott space. Based on Isbell’s example, Xu, Xi, and Zhao showed that there is even a complete Heyting algebra whose Scott space is non-sober. Achim Jung then asked whether every countable complete lattice has a sober Scott space. The main aim of this paper is to answer Jung’s problem by constructing a countable complete lattice whose Scott space is non-sober. This lattice is then modified to obtain a countable distributive complete lattice with a non-sober Scott space. In addition, we prove that the topology of the product space $\Sigma P\times \Sigma Q$ coincides with the Scott topology of the product poset $P\times Q$ if the set Id(P) and Id(Q) of all incremental ideals of posets P and Q are both countable. Based on this, it is deduced that a directed complete poset P has a sober Scott space, if Id(P) is countable and $\Sigma P$ is coherent and well filtered. In particular, every complete lattice L with Id(L) countable has a sober Scott space.

Abstract For a $T_0$ space X, let $\mathsf{K}(X)$ be the poset of all nonempty compact saturated subsets of X endowed with the Smyth order $\sqsubseteq$ . $(\mathsf{K}(X), \sqsubseteq)$ (shortly $\mathsf{K}(X)$ ) is called the Smyth power poset of X. In this paper, we mainly discuss some basic properties of the Scott topology on Smyth power posets. It is proved that for a well-filtered space X, its Smyth power poset $\mathsf{K}(X)$ with the Scott topology is still well-filtered, and a $T_0$ space Y is well-filtered iff the Smyth power poset $\mathsf{K}(Y)$ with the Scott topology is well-filtered and the upper Vietoris topology is coarser than the Scott topology on $\mathsf{K}(Y)$ . A sober space Z is constructed for which the Smyth power poset $\mathsf{K}(Z)$ with the Scott topology is not sober. A few sufficient conditions are given for a $T_0$ space X under which its Smyth power poset $\mathsf{K}(X)$ with the Scott topology is sober. Some other properties, such as local compactness, first-countability, Rudin property and well-filtered determinedness, of Smyth power spaces, and the Scott topology on Smyth power posets, are also investigated.

Abstract One of the most important results in domain theory is the Hofmann-Mislove Theorem, which reveals a very distinct characterization for the sober spaces via open filters. In this paper, we extend this result to the d-spaces and well-filtered spaces. We do this by introducing the notions of Hofmann-Mislove-system (HM-system for short) and $\Psi$ -well-filtered space, which provide a new unified approach to sober spaces, well-filtered spaces, and d-spaces. In addition, a characterization for $\Psi$ -well-filtered spaces is provided via $\Psi$ -sets. We also discuss the relationship between $\Psi$ -well-filtered spaces and H-sober spaces considered by Xu. We show that the category of complete $\Psi$ -well-filtered spaces is a full reflective subcategory of the category of $T_0$ spaces with continuous mappings. For each HM-system $\Psi$ that has a designated property, we show that a $T_0$ space X is $\Psi$ -well-filtered if and only if its Smyth power space $P_s(X)$ is $\Psi$ -well-filtered.

Given a poset $P$, the set, $\Gamma(P)$, of all Scott closed sets ordered by inclusion forms a complete lattice. A subcategory $\mathbf{C}$ of $\mathbf{Pos}_d$ (the category of posets and Scott-continuous maps) is said to be $\Gamma$-faithful if for any posets $P$ and $Q$ in $\mathbf{C}$, $\Gamma(P) \cong \Gamma(Q)$ implies $P \cong Q$. It is known that the category of all continuous dcpos and the category of bounded complete dcpos are $\Gamma$-faithful, while $\mathbf{Pos}_d$ is not. Ho & Zhao (2009) asked whether the category $\mathbf{DCPO}$ of dcpos is $\Gamma$-faithful. In this paper, we answer this question in the negative by exhibiting a counterexample. To achieve this, we introduce a new subcategory of dcpos which is $\Gamma$-faithful. This subcategory subsumes all currently known $\Gamma$-faithful subcategories. With this new concept in mind, we construct the desired counterexample which relies heavily on Johnstone's famous dcpo which is not sober in its Scott topology.

A topological space X is called well-filtered if for any filtered family $\mathcal{F}$ of compact saturated sets and an open set U , ∩ $\mathcal{F}$ ⊆ U implies F ⊆ U for some F ∈ $\mathcal{F}$ . Every sober space is well-filtered and the converse is not true. A dcpo (directed complete poset) is called well-filtered if its Scott space is well-filtered. In 1991, Heckmann asked whether every U K -admitting (the same as well-filtered) dcpo is sober. In 2001, Kou constructed a counterexample to give a negative answer. In this paper, for each T 1 space X we consider a dcpo D ( X ) whose maximal point space is homeomorphic to X and prove that X is well-filtered if and only if D ( X ) is well-filtered. The main result proved here enables us to construct new well-filtered dcpos that are not sober (only one such example is known by now). A space will be called K-closed if the intersection of every filtered family of compact saturated sets is compact. Every well-filtered space is K-closed. Some similar results on K-closed spaces are also proved.