Title

Continuity of Function Spaces from Pointwise Directed Families of Characteristic Functions

Document Type

Article

Publication Date

11-1-2015

Abstract

In earlier work the second author introduced the tool of pointwise directed families of characteristic functions to establish that certain continuous function spaces [X → Q] were continuous domains. In this paper we extend those earlier results, while significantly simplifying and refining the machinery involved. Our main result asserts that the function space [X → Q] is a continuous dcpo if X is locally compact and coherent and Q is a retract of a bifinite domain (RB-domain) with ⊥.

Publication Source (Journal or Book title)

Order

First Page

409

Last Page

418

This document is currently not available here.

Share

COinS