Separating domains from algebraic domains

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.