Function spaces from coherent continuous domains to RB-domains (Q281709)

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. They also show that a function space from a coherent quasi-algebraic domain to a finite domain need not be coherent.