On the domain of formal balls of the Sorgenfrey quasi-metric space (Q266334)

The authors prove that the poset \(({\mathbf B}{\mathbb R},\sqsubseteq_{d_S})\) of formal balls of the Sorgenfrey quasi-metric space \(({\mathbb R},d_S)\) is an \(\omega\)-domain and therefore possesses the structure of a quantitative domain in the sense of Waszkiewicz. A weightable quasi-metric \(q\) on \({\mathbf B}{\mathbb R}\) is defined whose induced topology is weaker than the Scott topology of \(({\mathbf B}{\mathbb R},\sqsubseteq_{d_S})\) and such that the topology induced by the metric \(q^s\) coincides with the Lawson topology of \(({\mathbf B}{\mathbb R},\sqsubseteq_{d_S}).\) Furthermore they observe that the \(\omega\)-domain \(({\mathbf B}{\mathbb R},\sqsubseteq_{d_S})\) is a computational model for the Sorgenfrey line.