PAPER / ARXIV:2609.20284
Chong Shen , Xiaoyong Xi , Dongsheng Zhao
RESUMO
We give negative answers to two questions of this http URL concerning the occurrence of the unit interval in nonquasialgebraic quasicontinuous domains. We construct, directly from the binary tree and the binary-value map, a well-founded quasicontinuous dcpo \[ P=2^{<\omega}\mathbin{\dot\cup}[0,1] \] which is not quasialgebraic. Moreover, $P$ contains no sub-dcpo isomorphic to $[0,1]$, and $[0,1]$ is not a Scott-continuous retract of $P$.
NO MESMO MAPA