A note on powers of Boolean spaces with internal semigroups

Abstract

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şan and Reggio. The observation that certain morphisms lift contravariantly to the appropriate power structures makes our analysis very simple.

Difference hierarchies and duality with an application to formal languages

“…This is an instance of the fact that modal algebras are dual to co-algebras for the Vietoris monad, enriched in the category of monoids, see [1]. However, since this finitary instance is quite simple to derive, for completeness, we include a proof.…”

A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures

“…It is not difficult to verify that R −1 (♦ ϕ) = π i (j(ϕ)) for every ϕ ∈ B, see e.g. Corollary 3.2 of (Borlido and Gehrke, 2019). Consequently, the Boolean algebra dual to the image of R can be identified with the subalgebra of P(Mod n\i ) generated by the elements of the form π i (j(ϕ)) for ϕ ∈ B, which is precisely B i ∃ .…”