Topological Duality for Distributive Lattices

Theory and Applications

AvMai Gehrke,Sam van Gool

Inbunden, Engelska, 2024

Del 61 i serien Cambridge Tracts in Theoretical Computer Science

825 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2024-03-07
Mått:175 x 251 x 25 mm
Vikt:800 g
Format:Inbunden
Språk:Engelska
Serie:Cambridge Tracts in Theoretical Computer Science
Antal sidor:367
Förlag:Cambridge University Press
ISBN:9781009349697

Utforska kategorier

Mer om författaren

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.

Recensioner i media

'This book introduces efficiently Stone-Priestley duality theory for bounded distributive lattices, thereby laying solid mathematical foundations for applications in mathematics and computer science. Readers interested in the fields of domain theory and automata theory will see the general duality theory bearing fruit and opening doors to further applications.' Jorge Almeida, Universidade do Porto

Innehållsförteckning

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.