Function spaces from coherent continuous domains to RB-domains

From MaRDI portal
(Redirected from Publication:281709)





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.











This page was built for publication: Function spaces from coherent continuous domains to RB-domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q281709)