The set of maximal points of an $\omega$-domain need not be a $G_{\delta }$-set

Gaolin Li, Chong Shen, Kaiyun Wang +2

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…