- Canonical extensions and canonicity via DCPO presentations
- Theoretical Computer Science
- Volume | Issue number
- 412 | 25
- Pages (from-to)
- Document type
- Interfacultary Research Institutes
- Institute for Logic, Language and Computation (ILLC)
The canonical extension of a lattice is in an essential way a two-sided completion. Domain theory, in contrast, is primarily concerned with one-sided completeness. In this paper, we show two things. First, we show that the canonical extension of a lattice can be given an asymmetric description in two stages: a free co-directed meet completion, followed by a completion by selected directed joins. Second, we show that the general techniques for directed complete partial order (dcpo) presentations of dcpo algebras used in the second stage of the construction immediately give us the well-known canonicity result for bounded lattices with operators.
Keywords: dcpo presentation; dcpo algebra; Lattice theory; Canonical extension; Canonicity
- go to publisher's site
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.