Lattices of Scott-closed sets
A dcpo is continuous if and only if the lattice of all Scott-closed subsets of is completely distributive. However, in the case where is a non-continuous dcpo, little is known about the order structure of . In this paper, we study the order-theoretic properties of for general dcpo’s . The main results are: (i) every is C-continuous; (ii) a complete lattice is isomorphic to for a complete semilattice if and only if is weak-stably C-algebraic; (iii) for any two complete semilattices...