Mai Gehrke (Universite Cote d'Azur), Sam Gool (Universite Paris Cite) van

Topological Duality for Distributive Lattices (eBook, PDF)

Theory and Applications

• Format: PDF

Produktbeschreibung

Introducing Stone Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical background necessary for reading and understanding current research in the area. After giving a thorough introduction to the algebraic, topological, logical, and categorical aspects of the theory, the book covers two advanced applications in computer science, namely in domain theory and automata theory. These topics are at the forefront of active research seeking to unify semantic methods with more algorithmic topics in finite model theory. Frequent exercises punctuate the text, with hints and references provided.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Erscheinungstermin: 28. Februar 2024
• ISBN-13: 9781009349710
• Artikelnr.: 70912195

Autorenporträt

Mai Gehrke is directeur de recherches in computer science at the French National Centre for Scientific Research (CNRS) working at the department of mathematics of Université Côte d'Azur in Nice. Her main contributions are in Stone duality, canonical extensions, and applications in logic and theoretical computer science.

Inhaltsangabe

Preface
1. Order and lattices
2. Topology and order
3. Priestley duality
4. Duality methods
5. Categorical duality
6. Omega-point duality
7. Domain theory
8. Automata theory
Bibliography
Notation
Index.