Function spaces from coherent continuous domains to RB-domains (Q281709)
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: Function spaces from coherent continuous domains to RB-domains |
scientific article; zbMATH DE number 6579166
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Function spaces from coherent continuous domains to RB-domains |
scientific article; zbMATH DE number 6579166 |
Statements
Function spaces from coherent continuous domains to RB-domains (English)
0 references
11 May 2016
0 references
coherent space
0 references
function Space
0 references
RB-domain
0 references
step function
0 references
0 references
0.93355644
0 references
0.8743998
0 references
0.8665988
0 references
0.8594121
0 references
0 references
The authors study the function spaces from coherent continuous domains to RB-domains. They establish that the function spaces from coherent core compact spaces with compact open sets as a basis to bifinite domains are algebraic and that the function space from a coherent continuous domain to an RB-domain is an RB-domain. In particular, the function space from an FS-domain to an RB-domain is an RB-domain.NEWLINENEWLINEThey also show that a function space from a coherent quasi-algebraic domain to a finite domain need not be coherent.
0 references
