The set of maximal points of an $ω$-domain need not be a $G_δ$-set
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 $ω$-domain model $P$ and for such a model $P$, $\mbox{Max}(P)$ is a $G_δ$-set of the Scott space of $P$. Martin (2003) then asked whether it is true that for every $ω$-domain $Q$, $\mbox{Max}(Q)$ is $G_δ$-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 $ω$-algebraic domains.
math.GN↗