Abstract
The problem of characterizing which automatic sets of integers are stable is here solved. Given a positive integer d and a subset A ⊆ ℤ whose set of representations base d is recognized by a finite automaton, a necessary condition is found for x + y ∈ A to be a stable formula in Th(ℤ, +, A). Combined with a theorem of Moosa and Scanlon this gives a combinatorial characterization of the d-automatic A ⊆ ℤ such that (ℤ, +, A) is stable. This characterization is in terms of what were called F-sets in [16] and elementary p-nested sets in [10]. Automata-theoretic methods are also used to produce some NIP expansions of (ℤ, +), in particular the expansion by the monoid (dℕ, ×).
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
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.
Acknowledgements
I am very grateful to Gabriel Conant, who, upon viewing an earlier draft of this paper, pointed out to me that the cases dealt with in Theorems 3.1 and 4.2 were sufficient to prove the general case. I am also grateful to Jason Bell, in conversations with whom the main theorem was first articulated as a conjecture. Many thanks to the reviewer for their thorough reading and thoughtful feedback; I am in particular in their debt for simplifying the fourth equivalent statement of Corollary 5.2. Finally, I am deeply grateful to my advisor, Rahim Moosa, for excellent guidance, thorough editing, and many helpful discussions.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was partially supported by an NSERC PGS-D and an NSERC CGS-D.
Rights and permissions
About this article
Cite this article
Hawthorne, C. Automata and tame expansions of (ℤ, +). Isr. J. Math. 249, 651–693 (2022). https://doi.org/10.1007/s11856-022-2322-6
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-022-2322-6