Function spaces from coherent continuous domains to RB-domains

Abstract

In this paper, continuing the work of the first and third authors, we study the function spaces from coherent continuous domains to RB-domains. Firstly, we prove that the function spaces from coherent core compact spaces with compact open sets as a basis to bifinite domains (algebraic RB-domains) are algebraic. As an application, we give an example which shows that a function space from a coherent quasi-algebraic domain to a finite domain might not be coherent. Finally, we show that the function space from a coherent continuous domain to an RB-domain is an RB-domain. Particularly, a function space from an FS-domain (introduced by Achim Jung) to an RB-domain is an RB-domain. This addresses an old open problem of whether FS-domains are RB-domains.