Consistent Plotkin powerdomains

In this paper, we will introduce a new powerdomain construction called consistent Plotkin powerdomain, defined for Lawson compact continuous domains, which freely adds a consistent semilattice operator. We will show that the consistent Plotkin powerdomain over a Lawson compact continuous dcpo exists and is a continuous domain and a consistent semilattice.