Separating domains from algebraic domains
General Topology
2025-04-09 v2 Logic in Computer Science
Abstract
We prove that every domain that fails to be algebraic admits the unit interval as its Scott-continuous retract. As a result, every countable domain is algebraic.
Cite
@article{arxiv.2504.04189,
title = {Separating domains from algebraic domains},
author = {Xiaodong Jia and Qingguo Li and Wei Luan},
journal= {arXiv preprint arXiv:2504.04189},
year = {2025}
}