31 citations · 101 across the 14 of their papers we have counts for
1 paper · 1 filter
Lauri Hella, Miikka Vilander
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 heig…