Dedekind completion as a method for constructing new Scott domains
Abstract Many operations exist for constructing Scott-domains. This paper presents Dedekind completion as a new operation for constructing such domains and outlines an application of the operation. Dedekind complete Scott domains are of particular interest when modeling versions of λ calculus that allow quantification over sets of arbitrary cardinality. Hence, it is of interest when constructing models of powerful specification languages and when using λ calculus as a foundation for mathematics.