Published online by Cambridge University Press: 05 June 2012
This chapter contains material at the interface between order theory and computer science. It discusses domains – those CPOs in which each element is the supremum of its ‘finite’ approximations – paralleling the discussion given in Chapter 7 of the class of algebraic lattices lying within the class of complete lattices. These domains provide a setting for denotational semantics, in a way we outline in 9.33. An alternative approach to domains, via information systems, is also presented. The final section of the chapter returns to fixpoint theory, and shows how the theorems in Chapter 8 can be applied in the solution of recursive equations, and in particular domain equations.
Domains for computing
This section brings together the notions of directed joins and of finite approximations.
Definitions. Let S be a non-empty subset of an ordered set P. Then S is said to be consistent if, for every finite subset F of S, there exists z ∈ P such that z ∈ Fu.
Remarks. Non-consistency arises only in ordered sets without ⊤. A directed set is, of course, consistent. The difference between the two notions is in the location of upper bounds: for D to be directed we require every finite subset F of D to have some upper bound which is a member of D, but for consistency an upper bound in P suffices.
To save this book to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Find out more about the Kindle Personal Document Service.
To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.
To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.