Convex powerdomains II

https://doi.org/10.1016/0890-5401(89)90034-5Get rights and content
Under an Elsevier user license
open archive

Abstract

The study of powerdomains defined as completions via Frink ideals is continued. It is shown how to represent directed ideals ofP(D)by certain compact subsets of the original domainD, and arbitrary Frink ideals by sets of such subsets. The operations union and big union are defined and their properties studied. Finally, some results on the relationship of this powerdomain to the classical Plotkin powerdomain are presented.

Cited by (0)