Stable Power Domains

Reinhold Heckmann


In the category of stable dcpo's, free constructions w.r.t. algebraic theories exist. From this, we obtain various stable power domain constructions. After handling their properties in general, we concentrate on the stable Plotkin power construction. For continuous ground domains, it is explicitly described in terms of saturated compact sets. In case of algebraic ground domains, this description is isomorphic to Buneman's lossless power domains.

[ (30p, 112k, reformatted)]

Reinhold Heckmann /