Consistent Smyth powerdomains.

Continuous lattices and posets, applications (06B35) Consistency and independence results in general topology (54A35) Connected and locally connected spaces (general aspects) (54D05)

Review text

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.

Recommendations

Cites work

Cited in

(14)

This page was built for publication: Consistent Smyth powerdomains.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2250140)