2018/11/29 by Célia Borlido, Borlido, Célia, Mai Gehrke +1
Computer Science · Mathematics · #Advanced Algebra and Logic #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #General Topology (math.GN) #Logic, programming, and type systems #cs.FL #math.GN #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.1811.12339
11 pages
openalex publication_date 2018/11/29 · arxiv created 2019/01/17 · arxiv updated 2019/01/18 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Boolean spaces with internal semigroups generalize profinite semigroups and are pertinent for the recognition of not-necessarily regular languages. Via recognition, the study of existential quantification in logic on words amounts to the study of certain spans of Boolean spaces with internal semigroups. In turn, these can be understood as the superposition of a span of Boolean spaces and a span of semigroups. In this note, we first study these separately. More precisely, we identify the conditions under which each of these spans gives rise to a morphism into the respective power or Vietoris construction of the corresponding structure. Combining these characterizations, we obtain such a characterization for spans of Boolean spaces with internal semigroups which we use to describe the topo-algebraic counterpart of monadic second-order existential quantification. This is closely related to a part of the earlier work on existential quantification in first-order logic on words by Gehrke, Petri\c san and Reggio. The observation that certain morphisms lift contravariantly to the appropriate power structures makes our analysis very simple.