Title
The Equivalence of QRB, QFS, and Compactness for Quasicontinuous Domains
Document Type
Article
Publication Date
7-8-2015
Abstract
In this article we show the equivalence of QRB, QFS, and compact quasicontinuous domains. QRB and QFS domains are generalizations of RB and FS domains to the setting of quasicontinuous domains and compactness means compactness in the Lawson topology. This equivalence extends in the algebraic setting to a quasicontinuous version of bifinite domains. The Smyth powerdomain is a basic tool in the proofs, and it is shown that quasicontinuous properties at the dcpo level typically have the corresponding continuous domain properties at the Smyth powerdomain level.
Publication Source (Journal or Book title)
Order
First Page
227
Last Page
238
Recommended Citation
Lawson, J., & Xi, X. (2015). The Equivalence of QRB, QFS, and Compactness for Quasicontinuous Domains. Order, 32 (2), 227-238. https://doi.org/10.1007/s11083-014-9327-7