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
Recommended Citation
Lawson, J., & Xi, X. (2015). Continuity of Function Spaces from Pointwise Directed Families of Characteristic Functions. Order, 32 (3), 409-418. https://doi.org/10.1007/s11083-014-9341-9
COinS