Defining long words succinctly in FO and MSO

02/21/2022
by   Lauri Hella, et al.
0

We consider the length of the longest word definable in FO and MSO via a formula of size n. For both logics we obtain as an upper bound for this number an exponential tower of height linear in n. We prove this by counting types with respect to a fixed quantifier rank. As lower bounds we obtain for both FO and MSO an exponential tower of height in the order of a rational power of n. We show these lower bounds by giving concrete formulas defining word representations of levels of the cumulative hierarchy of sets. In addition, we consider the Löwenheim-Skolem and Hanf numbers of these logics on words and obtain similar bounds for these as well.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/30/2019

On the longest common subsequence of Thue-Morse words

The length a(n) of the longest common subsequence of the n'th Thue-Morse...
research
09/11/2018

A Fixed-Depth Size-Hierarchy Theorem for AC^0[⊕] via the Coin Problem

We prove the first Fixed-depth Size-hierarchy Theorem for uniform AC^0[⊕...
research
12/17/2019

New Bounds on Antipowers in Binary Words

Fici et al. defined a word to be a k-power if it is the concatenation of...
research
07/23/2019

Upper Hessenberg and Toeplitz Bohemians

We look at Bohemians, specifically those with population {-1, 0, +1} and...
research
08/15/2019

Homotopy height, grid-major height and graph-drawing height

It is well-known that both the pathwidth and the outer-planarity of a gr...
research
09/19/2022

Convergence of the number of period sets in strings

Consider words of length n. The set of all periods of a word of length n...
research
06/25/2018

Resolution with Counting: Lower Bounds over Different Moduli

Resolution over linear equations (introduced in [RT08]) emerged recently...

Please sign up or login with your details

Forgot password? Click here to reset