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
    0 references
    0 references
    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

    Identifiers