2022/03/07 by Mai Gehrke, Gehrke, Mai, Sam van Gool +1 · 1 voice
Computer Science · Mathematics · #03G10 #06-01 #06B35 #54-01 #68Q70 #F.3.2 #F.4 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #cs.LO #math.LO
paper · pdf · doi:10.48550/arxiv.2203.03286
arxiv published 2022/03/07 · arxiv updated 2023/04/05
This book is a course in Stone-Priestley duality theory, with applications to logic and theoretical computer science. Our target audience are graduate students and researchers in mathematics and computer science. Our aim is to get in a fairly full palette of duality tools as directly and quickly as possible, then to illustrate and further elaborate these tools within the setting of three emblematic applications: semantics of propositional logics, domain theory in logical form, and the theory of profinite monoids for the study of regular languages and automata.