Convex powerdomains II

AbstractThe 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