References & Citations
Mathematics > Logic
Title: Automata and tame expansions of $(\mathbb{Z},+)$
(Submitted on 30 Jun 2020 (v1), last revised 7 Oct 2020 (this version, v2))
Abstract: The problem of characterizing which automatic sets of integers are stable is here solved. Given a positive integer $d$ and a subset $A\subseteq \mathbb{Z}$ whose set of representations base $d$ is recognized by a finite automaton, a necessary condition is found for $x+y\in A$ to be a stable formula in $\operatorname{Th}(\mathbb{Z},+,A)$. Combined with a theorem of Moosa and Scanlon this gives a combinatorial characterization of the $d$-automatic $A\subseteq \mathbb{Z}$ such that $(\mathbb{Z},+,A)$ is stable. This characterization is in terms of what were called "$F$-sets" by Moosa and Scanlon and "elementary $p$-nested sets" by Derksen. Automata-theoretic methods are also used to produce some NIP expansions of $(\mathbb{Z},+)$, in particular the expansion by the monoid $(d^\mathbb{N},\times )$.
Submission history
From: Christopher Hawthorne [view email][v1] Tue, 30 Jun 2020 19:24:32 GMT (153kb)
[v2] Wed, 7 Oct 2020 18:45:10 GMT (35kb)
Link back to: arXiv, form interface, contact.