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

S. Romaguera; M. P. Schellekens; P. Tirado; O. Valero

doi:10.1016/j.topol.2015.12.086

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

S. Romaguera
, M. P. Schellekens
, P. Tirado
, O. Valero

School of Computer Science and Information Technology

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English
Pages (from-to)	177-187
Number of pages	11
Journal	Topology and its Applications
Volume	203
DOIs	https://doi.org/10.1016/j.topol.2015.12.086
Publication status	Published - 15 Apr 2016

Keywords

Formal ball
Quantitative domain
Quasi-metric space
The Sorgenfrey line
ω-domain

Access to Document

10.1016/j.topol.2015.12.086

Cite this

@article{ad6644185a2647e88ca56350bfcc7af9,

title = "On the domain of formal balls of the Sorgenfrey quasi-metric space",

abstract = "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.",

keywords = "Formal ball, Quantitative domain, Quasi-metric space, The Sorgenfrey line, ω-domain",

author = "S. Romaguera and Schellekens, \{M. P.\} and P. Tirado and O. Valero",

note = "Publisher Copyright: {\textcopyright} 2016 Elsevier B.V.",

year = "2016",

month = apr,

day = "15",

doi = "10.1016/j.topol.2015.12.086",

language = "English",

volume = "203",

pages = "177--187",

journal = "Topology and its Applications",

issn = "0166-8641",

publisher = "Elsevier B.V.",

}

TY - JOUR

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

AU - Romaguera, S.

AU - Schellekens, M. P.

AU - Tirado, P.

AU - Valero, O.

PY - 2016/4/15

Y1 - 2016/4/15

N2 - 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.

AB - 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.

KW - Formal ball

KW - Quantitative domain

KW - Quasi-metric space

KW - The Sorgenfrey line

KW - ω-domain

UR - https://www.scopus.com/pages/publications/84953439469

U2 - 10.1016/j.topol.2015.12.086

DO - 10.1016/j.topol.2015.12.086

M3 - Article

AN - SCOPUS:84953439469

SN - 0166-8641

VL - 203

SP - 177

EP - 187

JO - Topology and its Applications

JF - Topology and its Applications

ER -

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

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this