Definability of some $k$-ary Relations Over Second Order kinds of Logics

Simone Costa, Marco Dalai, Stefano Della Fiore +1

We consider the exprissibility in monadic second order logic of certain relations of importance in computer science. For integers $n\ge 1$ and $k\le b$, a $k$-tuple of sequences…