Book:B.A. Davey/Introduction to Lattices and Order/Second Edition

From ProofWiki
Jump to navigation Jump to search

B.A. Davey and H.A. Priestley: Introduction to Lattices and Order (2nd Edition)

Published $\text {2002}$, Cambridge University Press

ISBN 978-0-52136-766-0

Subject Matter


Preface to the second edition
Preface to the first edition
1. Ordered sets
Ordered sets
Examples from social science and computer science
Diagrams: the art of drawing ordered sets
Down-sets and up-sets
Maps between ordered sets
2. Lattices and complete lattices
Lattices as ordered sets
Lattices as algebraic structures
Sublattices, products and homomorphisms
Ideals and filters
Complete lattices and $\bigcap$-structures
Chain conditions and completeness
Join-irreducible elements
3. Formal concept analysis
Contexts and their concepts
The fundamental theorem of concept lattices
From theory to practice
4. Modular, distributive and Boolean lattices
Lattices satisfying additional identities
The $M_3$–$N_5$ Theorem
Boolean lattices and Boolean algebras
Boolean terms and disjunctive normal form
5. Representation: the finite case
Building blocks for lattices
Finite Boolean algebras are powerset algebras
Finite distributive lattices are down-set lattices
Finite distributive lattices are finite ordered sets in partnership
6. Congruences
Introducing congruences
Congruences and diagrams
The lattice of congruences of a lattice
7. Complete lattices and Galois connections
Closure operations
Complete lattices coming from algebra: algebraic lattices
Galois connections
8. CPOs and fixpoint theorems
CPOs of partial maps
Fixpoint theorems
Calculating with fixpoints
9. Domains and information systems
Domains for computing
Domains re-modelled. information systems
Using fixpoint theorems to solve domain equations
10. Maximality principles
Do maximal elements exist? – Zorn's Lemma and the Axiom of Choice
Prime and maximal ideals
Powerset algebras and down-set lattices revisited
11. Representation: the general case
Stone's representation theorem for Boolean algebras
Meet LINDA: the Lindenbaum algebra
Priestley's representation theorem for distributive lattices
Distributive lattices and Priestley spaces in partnership
Appendix A: a topological toolkit
Appendix B: further reading
Notation index