On the domain of formal balls of the Sorgenfrey quasi-metric space

详细信息    查看全文

• 作者：S. Romaguera^a ; ¹ ; ^{sromague@mat.upv.es" class="auth_mail" title="E-mail the corresponding author} ; M.P. Schellekens^b ; ^{m.schellekens@cs.ucc.ie" class="auth_mail" title="E-mail the corresponding author} ; P. Tirado^a ; ¹ ; ^{pedtipe@mat.upv.es" class="auth_mail" title="E-mail the corresponding author} ; O. Valero^c ; ¹ ; ^{o.valero@uib.es" class="auth_mail" title="E-mail the corresponding author}
• 关键词：54E35 ; 54H99 ; 06B35
• 刊名：Topology and its Applications
• 出版年：2016
• 出版时间：15 April 2016
• 年：2016
• 卷：203
• 期：Complete
• 页码：177-187
• 全文大小：350 K

文摘

We show that the poset of formal balls of the Sorgenfrey quasi-metric space is an ω-continuous domain, and deduce that it is also a computational model, in the sense of R.C. Flagg and R. Kopperman, for the Sorgenfrey line. Furthermore, we study its structure of quantitative domain in the sense of P. Waszkiewicz.