The equivalence of QRB, QFS, and compactness for quasicontinuous domains. (Q2351719)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The equivalence of QRB, QFS, and compactness for quasicontinuous domains. |
scientific article |
Statements
The equivalence of QRB, QFS, and compactness for quasicontinuous domains. (English)
0 references
26 June 2015
0 references
The authors show that the notions of QRB domain, QFS domain and stably compact quasi-continuous domain all collapse. Here QRB and QFS domains generalize RB and FS domains to the setting of quasi-continuous domains. The result improves on preliminary work due to the second author. (They also state that it was independently obtained by Goubault-Larrecq and Jung in unpublished notes.) The basic tool for the presented investigation is the concept of the topological Smyth powerdomain.
0 references
continuous domains
0 references
dcpo
0 references
quasicontinuous domains
0 references
Lawson compacta
0 references
RB domains
0 references
Smyth power domains
0 references
directed complete partially ordered sets
0 references