Continuous \(L\)-domains (Q1814857)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Continuous \(L\)-domains
scientific article

    Statements

    Continuous \(L\)-domains (English)
    0 references
    12 December 1996
    0 references
    It is proved that the category of continuous bounded-complete CPO's is cartesian closed. Moreover, a continuous bounded-complete CPO \(L\) is characterized by the property that \([X\to L]\) is a continuous CPO for all core compact spaces \(X\). This solves a problem posed by Lawson and Mislove.
    0 references
    complete partially ordered set
    0 references
    cartesian closed category
    0 references
    \(L\)-domain
    0 references
    continuous bounded-complete CPO
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references