An Upper Power Domain Construction in terms of Strongly Compact Sets

Reinhold Heckmann


A novel upper power domain construction is defined by means of strongly compact sets. Its power domains contain less elements than the classical ones in terms of compact sets, but still admit all necessary operations, i.e. they contain less junk. The notion of strong compactness allows a proof of stronger properties than compactness would, e.g. an intrinsic universal property of the upper power construction, and its commutation with the lower construction.


A subset S of a topological space is strongly compact iff for all opens O containing S, there is a finite set F such that S C uparrowF C O.

[ (22p, 96k)]

Reinhold Heckmann /