When does the class \([{\mathcal A} \longrightarrow {\mathcal B}]\) consist of continuous domains? (Q1873745)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | When does the class \([{\mathcal A} \longrightarrow {\mathcal B}]\) consist of continuous domains? |
scientific article |
Statements
When does the class \([{\mathcal A} \longrightarrow {\mathcal B}]\) consist of continuous domains? (English)
0 references
27 May 2003
0 references
The authors investigate the following problem: Given classes of domains (or topological spaces) \(A\) and \(B\), when are all function spaces \([A\to B]\) again continuous domains? The main result of this paper is that for \(A\) either all compact and core compact spaces or only the single domain consisting of a decreasing sequence with two lower bounds, then the largest \(B\) fulfilling the above condition consists of all continuous domains such that \(\downarrow x\) is a sub-semilattice for each \(x\). A similar result is given for \(L\)-domains.
0 references
Continuous domain
0 references
Semilattice
0 references
Core compact
0 references
Function space
0 references
\(L\)-domain
0 references