Consistent Smyth powerdomains. (Q2250140): Difference between revisions

Powerdomains are familiar objects of study in domain theory. The Smyth powerdomain is the deflationary semilattice over a continuous dcpo with the Scott continuous meet operator. Motivated by the fact that in various applications the meet operator is only a partial operation, i.e., lattices having so called \textit{consistent meets}, the authors construct the \textit{consistent} Smyth powerdomain, i.e., the free algebra with the Scott continuous \textit{consistent} meet operator over a continuous dcpo. The article presents the relevant notions (e.g., linear connectedness, compact-connected sets, saturation, etc.) and their basic properties in the first few sections quite quickly and constructs the consistent Smyth powerdomain \(S_C(L)\) over a continuous dcpo \(L\) as the set \(RQ_C(L)\); the set of non-empty, relatively compact-connected and saturated subsets.