A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is `application/pdf`

.

##
###
An upper power domain construction in terms of strongly compact sets
[chapter]

1992
*
Lecture Notes in Computer Science
*

A novel upper power domain construction is de ned 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. B Y , f A] is the image of A and f ?1

doi:10.1007/3-540-55511-0_14
fatcat:hrygn4roh5d45glr4v23gzd4qe