Difference hierarchies and duality with an application to formal languages

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

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

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 hierarchies; logic on words; Stone-Priestley duality

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03B70: Logic in computer science

06D20: Heyting algebras (lattice-theoretic aspects)

06D50: Lattices and duality