Separating domains from algebraic domains

2025/04/05 by Xiaodong Jia, Qingguo Li, Jia, Xiaodong +3 · 1 voice
Computer Science · Mathematics · #FOS: Computer and information sciences #FOS: Mathematics #General Topology (math.GN) #Logic in Computer Science (cs.LO) #cs.LO #math.GN

paper · pdf · doi:10.48550/arxiv.2504.04189

arxiv published 2025/04/05 · arxiv updated 2025/04/08

Abstract

We prove that every domain that fails to be algebraic admits the unit interval [0, 1] as its Scott-continuous retract. As a result, every countable domain is algebraic.

Discussions

• Xiaodong Jia, Qingguo Li, Wei Luan: Separating domains from algebraic domains https://arxiv.org/abs/2504.04189 https://arxiv.org/pdf/2504.04189 https://arxiv.org/html/2504.04189 [bsky, 0 points, 1 comments]

Related

• Countable quasicontinuous domains are quasialgebraic
• Forbidden substructures for coherence of domains
• Mathematics of Domains
• Notes on the boundaries of quadrature domains
• A convenient category of domains