Bc-hulls and Clat-hulls

Bounded-complete domains (bc-domains) are an incredibly useful form of continuous dcpos. Given a continuous dcpo X, is there a completion of X as a bc-domain, for example a free bc-domain on X? That does not exist in general, but Yuri Ershov showed that one can build a so-called bc-hull of any continuous dcpo in 1997. I will describe what that is in the full post. My point is really to show that, despite the fact that it is a complicated construction in general, this really becomes a very simple, and familiar, one when X is coherent.

This entry was posted in Uncategorized and tagged , . Bookmark the permalink.