Substitution Principle and semidirect products

06/23/2021
by   Célia Borlido, et al.
0

In the classical theory of regular languages the concept of recognition by profinite monoids is an important tool. Beyond regularity, Boolean spaces with internal monoids (BiMs) were recently proposed as a generalization. On the other hand, fragments of logic defining regular languages can be studied inductively via the so-called "Substitution Principle". In this paper we make the logical underpinnings of this principle explicit and extend it to arbitrary languages using Stone duality. Subsequently we show how it can be used to obtain topo-algebraic recognizers for classes of languages defined by a wide class of first-order logic fragments. This naturally leads to a notion of semidirect product of BiMs extending the classical such construction for profinite monoids. Our main result is a generalization of Almeida and Weil's Decomposition Theorem for semidirect products from the profinite setting to that of BiMs. This is a crucial step in a program to extend the profinite methods of regular language theory to the setting of complexity theory.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

05/19/2021

An Algebraic Characterisation of First-Order Logic with Neighbour

We give an algebraic characterisation of first-order logic with the neig...
04/24/2018

Covering and separation for logical fragments with modular predicates

For every class C of word languages, one may associate a decision proble...
09/10/2017

Monadic Second-Order Logic with Arbitrary Monadic Predicates

We study Monadic Second-Order Logic (MSO) over finite words, extended wi...
01/03/2022

Duality for the existential fragment of first-order logic on words with numerical predicates of a fixed arity

This article fits in the area of research that investigates the applicat...
07/02/2019

Logics for Reversible Regular Languages and Semigroups with Involution

We present MSO and FO logics with predicates `between' and `neighbour' t...
11/05/2020

The logic of contextuality

Contextuality is a key signature of quantum non-classicality, which has ...
05/22/2019

Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories

In flowchart languages, predicates play an interesting double role. In t...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.