Automata and tame expansions of (Z, +)

DOI10.1007/S11856-022-2322-6MaRDI QIDQ2164435zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• CONTRIBUTIONS TO THE THEORY OF F-AUTOMATIC SETS
• Stable groups and expansions of $(\mathbb Z,+,0)$
• Multiplicative structure in stable expansions of the group of integers
• On expansions of \((\mathbf{Z},+,0)\)
• \(F\)-sets and finite automata

Cites work

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

Cited in

(5)

• Dynamic of cyclic automata over \(\mathbb Z^2\)
• The geometric form of automaton mappings, recurrent and Z-recurrent definition of sequences
• CONTRIBUTIONS TO THE THEORY OF F-AUTOMATIC SETS
• Automata and tame expansions of $(\mathbb{Z},+)$
• Enriching a predicate and tame expansions of the integers

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2164435)