Topological Duality for Distributive Lattices - Theory and Applications

"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"--

Table des matières

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.

A propos de l'auteur

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.Sam van Gool is maître de conférences at the Research Institute for Foundations of Computer Science (IRIF) at Université Paris Cité. His main contributions are in duality theory and logic in mathematics and computer science.

Résumé

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.

Détails du produit

• Auteurs: Mai Gehrke, Mai (Universite Cote Dazur) Van Gool Gehrke, Sam van Gool
• Edition: Cambridge University Press ELT
• Langues: Anglais
• Format d'édition: Livre Relié
• Sortie: 07.03.2024
• EAN: 9781009349697
• ISBN: 978-1-0-0934969-7
• Pages: 367
• Thème: Cambridge Tracts in Theoretical Computer Science
• Catégories: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Langages de programmation; Mathematical logic, Computer architecture & logic design, Computer architecture and logic design, COMPUTERS / Languages / General