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

MaRDI QIDQ6435586zbMATH OpenFDO

Authors Gaolin Li, Chong Shen, Kaiyun Wang, Xiaoyong Xi, Dongsheng Zhao

Publication date 6 May 2023

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Topological spaces and generalizations (closure spaces, etc.) (54A05) Topological lattices (06B30)

Abstract: A topological space has a domain model if it is homeomorphic to the maximal point space $mboxMax(P)$ of a domain $P$. Lawson proved that every Polish space $X$ has an $omega$-domain model $P$ and for such a model $P$, $mboxMax(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$, $mboxMax(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.

This page was built for publication: The set of maximal points of an $\omega$-domain need not be a $G_\delta$-set

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6435586)