HackerPapers

arXiv:2203.03286math.LO

Topological Duality for Distributive Lattices: Theory and Applications

Mai Gehrke, Sam van Gool

HN submission. Found in a submission link or body. Submitters do not count as commenters in the main ranking; a submission is not an endorsement.

Abstract

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.

arXiv comments
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. (c) 2023 Mai Gehrke and Sam van Gool
Journal reference
DOI
Subjects
math.LOLogic cs.LOLogic in Computer Science

On Hacker News

No comments linking this paper were found in the collected sources. Found in 1 HN submission from Mar 2024 to Mar 2024. Open submission discussions.

Comments linking this paper, per year.

Discussed in comments0 threads

No comments linking this paper were found in the collected sources. Open submission discussions.

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.