Abstract
AbstractWe give a construction of the free dcpo-cone over any dcpo. There are two steps for getting this result. Firstly, we extend the notion of power domain to directed spaces which are equivalent to
$T_0$
monotone-determined spaces introduced by Erné, and we construct the probabilistic powerspace of the monotone determined space, which is defined as a free monotone determined cone. Secondly, we take D-completion of the free monotone determined cone over the dcpo with its Scott topology. In addition, we show that generally the valuation power domain of any dcpo is not the free dcpo-cone.
Publisher
Cambridge University Press (CUP)
Reference22 articles.
1. Abramsky, S. and Jung, A. (1994). Domain theory. In: Abramsky, S. , Gabbay, D. M. and Maibaum, T. S. E. (eds.) Semantic Structures, Handbook of Logic in Computer Science, vol. 3, Clarendon Press, 1–168.
2. Extending algebraic operations to D-completions
3. Kirch, O. (1993). Bereiche und Bewertungen. Master’s thesis, Technische Hochschule Darmstadt.
4. Continuity and Directed Completion of Topological Spaces
5. Non-Hausdorff Topology and Domain Theory