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