Difference hierarchies and duality with an application to formal languages

DOI10.1016/j.topol.2019.106975zbMath1477.06040arXiv1812.01921OpenAlexW2996497805WikidataQ126585936 ScholiaQ126585936MaRDI QIDQ2310785

Mai Gehrke, Howard Straubing, Célia Borlido, Andreas Krebs

Publication date: 6 April 2020

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1812.01921

zbMATH Keywords

difference hierarchieslogic on wordsStone-Priestley duality

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50)

Related Items (2)

Stone duality for spectral sheaves and the patch monad ⋮ Probability over Płonka sums of Boolean algebras: states, metrics and topology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Efficient algorithms for membership in Boolean hierarchies of regular languages
• Elements of finite model theory.
• Recognizable sets and power sets of finite semigroups
• Regular languages in \(NC\)
• Programs over semigroups of dot-depth one
• Languages defined with modular counting quantifiers
• Pro-aperiodic monoids via saturated models
• Duality and Equational Theory of Regular Languages
• Bounded distributive lattice expansions
• Going Higher in First-Order Quantifier Alternation Hierarchies on Words
• Canonical Extensions, Esakia Spaces, and Universal Models
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Extension of a distributive lattice to a Boolean ring
• Boolean Algebras with Operators. Part I

This page was built for publication: Difference hierarchies and duality with an application to formal languages