When does the class \([{\mathcal A} \longrightarrow {\mathcal B}]\) consist of continuous domains? (Q1873745)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: When does the class \([{\mathcal A} \longrightarrow {\mathcal B}]\) consist of continuous domains? |
scientific article; zbMATH DE number 1917846
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | When does the class \([{\mathcal A} \longrightarrow {\mathcal B}]\) consist of continuous domains? |
scientific article; zbMATH DE number 1917846 |
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
0.80241317
0 references
0.7805587
0 references
0.7793356
0 references
0.7712206
0 references
0.76378644
0 references
0.7589756
0 references
0.75896674
0 references