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

List of contents

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.

About the author

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.

Summary

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.

Product details

• Authors: Mai Gehrke, Mai (Universite Cote Dazur) Van Gool Gehrke, Sam van Gool
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 07.03.2024
• EAN: 9781009349697
• ISBN: 978-1-0-0934969-7
• No. of pages: 367
• Series: Cambridge Tracts in Theoretical Computer Science
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > Programming languages; Mathematical logic, Computer architecture & logic design, Computer architecture and logic design, COMPUTERS / Languages / General