Automata and tame expansions of (ℤ, +)

B. Adamczewski and J. P. Bell, On vanishing coefficients of algebraic power series over fields of positive characteristic, Inventiones Mathematicae 187 (2012), 343–393.

J.-P. Allouche and J. Shallit, Automatic Sequences, Cambridge University Press, Cambridge, 2003.

J. Bell, K. Hare and J. Shallit, When is an automatic set an additive basis?, Proceedings of the American Mathematical Society, Series B 5 (2018), 50–63.

J. Bell and R. Moosa, F-sets and finite automata, Journal de théorie des nombres de Bordeaux 31 (2019), 101–130.

V. Bruyère, G. Hansel, C. Michaux and R. Villemaire, Logic and p-recognizable sets of integers., Bulletin of the Belgian Mathematical Society Simon Stevin 1 (1994), 191–238; Correction ibid, 577.

A. Chernikov and P. Simon, Externally definable sets and dependent pairs, Israel Journal of Mathematics 194 (2013), 409–425.

G. Conant, Stability and sparsity in sets of natural numbers, Israel Journal of Mathematics 230 (2019), 471–508.

G. Conant and M. C. Laskowski, Weakly minimal groups with a new predicate, Journal of Mathematical Logic 20 (2020), Article no. 2050011.

G. Conant, A. Pillay and C. Terry, A group version of stable regularity, Mathematical Proceedings of the Cambridge Philosophical Society 168 (2020), 405–413.

H. Derksen, A Skolem—Mahler—Lech theorem in positive characteristic and finite automata, Inventiones Mathematicae 168 (2007), 175–224.

Y. Gurevich and P. H. Schmitt, The theory of ordered abelian groups does not have the independence property, Transactions of the American Mathematical Society 284 (1984), 171–182.

W. Hodges, Model Theory, Encyclopedia of Mathematics and its Applications, Vol. 42, Cambridge University Press, Cambridge, 1993.

Q. Lambotte and F. Point, On expansions of (Z, +, 0), Annals of Pure and Applied Logic 171 (2020), Article no. 102809.

M. Lothaire, Numeration systems, in Algebraic Combinatorics on Words, Encyclopedia of Mathematics and its Applications, Vol. 90, Cambridge University Press, Cambridge, 2002, pp. 230–268.

D. Marker, Model Theory, Graduate Texts in Mathematics, Vol. 217, Springer, New York, 2002.

R. Moosa and T. Scanlon, F-structures and integral points on semiabelian varieties over finite fields, American Journal of Mathematics 126 (2004), 473–522.

D. Palacín and R. Sklinos, On superstable expansions of free abelian groups, Notre Dame Journal of Formal Logic 59 (2018), 157–169.

F. Point, On decidable extensions of Presburger arithmetic: from A. Bertrand numeration systems to Pisot numbers, Journal of Symbolic Logic 65 (2000), 1347–1374.

A. L. Semenov, On certain extensions of the arithmetic of addition of natural numbers, Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya 43 (1979), 1175–1195.

P. Simon, A Guide to NIP Theories, Lecture Notes in Logic, Vol. 44, Association for Symbolic Logic, Chicago, IL, 2015.

S. Yu, Regular languages, in Handbook of Formal Languages. Vol. 1, Springer, Berlin, 1997, pp. 41–110.