Skip to Main content Skip to Navigation
New interface
Preprints, Working Papers, ...

Topological duality for distributive lattices, and applications

Abstract : This material will be published by Cambridge University Press as "Topological Duality for Distributive Lattices: Theory and Applications" by Mai Gehrke and Sam van Gool. This pre-publication is free to view and download for personal use only. Not for re-distribution, re-sale, or use in derivative works. \copyright Mai Gehrke and Sam van Gool 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. This pre-publication contains the first part of the book, a graduate level `crash course' in duality theory as it is practiced now, and a chapter on applications to domain theory.
Document type :
Preprints, Working Papers, ...
Complete list of metadata
Contributor : Sam van Gool Connect in order to contact the contributor
Submitted on : Friday, October 14, 2022 - 1:56:06 PM
Last modification on : Saturday, October 15, 2022 - 4:53:56 AM

Links full text


  • HAL Id : hal-03815125, version 1
  • ARXIV : 2203.03286



Mai Gehrke, Sam van Gool. Topological duality for distributive lattices, and applications. 2022. ⟨hal-03815125⟩



Record views