Separating domains from algebraic domains

Xiaodong Jia, Qingguo Li, Wei Luan

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.