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
    0 references
    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
    0 references
    0 references
    0 references
    0 references
    Continuous domain
    0 references
    Semilattice
    0 references
    Core compact
    0 references
    Function space
    0 references
    \(L\)-domain
    0 references