Non-definability of languages by generalized first-order formulas over (N,+)

Andreas Krebs, A. V. Sreejith

We consider first-order logic with monoidal quantifiers over words. We show that all languages with a neutral letter, definable using the addition numerical predicate are also defi…