Automata and tame expansions of \((\mathbb{Z}, +)\)

DOI10.1007/s11856-022-2322-6OpenAlexW4283752442MaRDI QIDQ2164435

Christopher Hawthorne

Publication date: 15 August 2022

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2007.00070

Mathematics Subject Classification ID

Sequences and sets (11Bxx) General logic (03Bxx) Model theory (03Cxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On vanishing coefficients of algebraic power series over fields of positive characteristic
• Logic and \(p\)-recognizable sets of integers
• On superstable expansions of free abelian groups
• Externally definable sets and dependent pairs
• On expansions of \((\mathbf{Z},+,0)\)
• \(F\)-sets and finite automata
• A Skolem-Mahler-Lech theorem in positive characteristic and finite automata
• Stability and sparsity in sets of natural numbers
• Automatic Sequences
• On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
• When is an automatic set an additive basis?
• The Theory of Ordered Abelian Groups does not have the Independence Property
• Model Theory
• F -structures and integral points on semiabelian varieties over finite fields
• Weakly minimal groups with a new predicate
• A group version of stable regularity
• A Guide to NIP Theories

This page was built for publication: Automata and tame expansions of \((\mathbb{Z}, +)\)