Non-definability of Languages by Generalized First-order Formulas over (N, +).

Andreas Krebs, A. V. Sreejith

Browse the full LICS paper archive.