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

Topological Duality for Distributive Lattices

Theory and Applications

• Gebundenes Buch

Produktbeschreibung

This introduction to Stoneâ Priestley duality theory brings modern tools in the area together in textbook format for the first time and covers applications to logic and theoretical computer science. This book is for undergraduates, graduate students, and researchers in lattice theory, algebra, topology, logic, and theoretical computer science.

Produktdetails

• Cambridge Tracts in Theoretical Computer Science
• Verlag: Cambridge University Press
• Seitenzahl: 367
• Erscheinungstermin: 16. Mai 2024
• Englisch
• Abmessung: 247mm x 173mm x 25mm
• Gewicht: 802g
• ISBN-13: 9781009349697
• ISBN-10: 1009349694
• Artikelnr.: 69522474

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.