Weakly minimal groups with a new predicate

DOI10.1142/S0219061320500117MaRDI QIDQ5118052zbMATH OpenOpenAlexFDO

Authors Gabriel Conant, M. C. Laskowski

Publication date 4 September 2020

Published in Journal of Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

recurrence relationsstabilityweakly minimal group

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Model theory (number-theoretic aspects) (11U09)

Abstract: Fix a weakly minimal (i.e., superstable $U$-rank $1$) structure $mathcalM$. Let $mathcal{M}^{\ast }$ be an expansion by constants for an elementary substructure, and let $A$ be an arbitrary subset of the universe $M$. We show that all formulas in the expansion $(mathcal{M}^{\ast },A)$ are equivalent to bounded formulas, and so $(mathcalM,A)$ is stable (or NIP) if and only if the $mathcalM$-induced structure $A_{mathcalM}$ on $A$ is stable (or NIP). We then restrict to the case that $mathcalM$ is a pure abelian group with a weakly minimal theory, and $A_{mathcalM}$ is mutually algebraic (equivalently, weakly minimal with trivial forking). This setting encompasses most of the recent research on stable expansions of $(mathbbZ,+)$. Using various characterizations of mutual algebraicity, we give new examples of stable structures of the form $(mathcalM,A)$. Most notably, we show that if $(G,+)$ is a weakly minimal additive subgroup of the algebraic numbers, $AsubseteqG$ is enumerated by a homogeneous linear recurrence relation with algebraic coefficients, and no repeated root of the characteristic polynomial of $A$ is a root of unity, then $(G,+,B)$ is superstable for any $BsubseteqA$.

Recommendations

• On superstable expansions of free abelian groups
• Multiplicative structure in stable expansions of the group of integers
• Stable groups and expansions of $(\mathbb Z,+,0)$
• Weakly minimal groups of unbounded exponent
• Mutually algebraic structures and expansions by predicates

Cites work

• Classification theory and the number of non-isomorphic models.
• Dimensional order property and pairs of models
• Externally definable sets and dependent pairs
• F -structures and integral points on semiabelian varieties over finite fields
• scientific article; zbMATH DE number 3833933 (Why is no real title available?)
• scientific article; zbMATH DE number 4006339 (Why is no real title available?)
• scientific article; zbMATH DE number 1209541 (Why is no real title available?)
• scientific article; zbMATH DE number 484825 (Why is no real title available?)
• scientific article; zbMATH DE number 1973372 (Why is no real title available?)
• scientific article; zbMATH DE number 1978271 (Why is no real title available?)
• scientific article; zbMATH DE number 1827828 (Why is no real title available?)
• scientific article; zbMATH DE number 1422909 (Why is no real title available?)
• Linear equations in variables which lie in a multiplicative group
• Multiplicative structure in stable expansions of the group of integers
• Mutually algebraic structures and expansions by predicates
• On expansions of \((\mathbf{Z},+,0)\)
• On superstable expansions of free abelian groups
• Paires de structures stables
• Quantifier elimination for lexicographic products of ordered abelian groups
• Quasi-o-minimal structures
• Some trivial considerations
• Stability and sparsity in sets of natural numbers
• Stability in geometric theories
• Stable theories with a new predicate
• Strongly and co-strongly minimal abelian structures
• Supergenerix.
• THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP
• The model theory of the field of reals with a subgroup of the unit circle
• The Mordell-Lang conjecture for function fields
• The Schröder-Bernstein property for a-saturated models
• Uniformly bounded arrays and mutually algebraic structures
• Équations exponentielles-polynômes et suites récurrentes linéaires. II. (Exponential polynomial equations and linear recurrence sequences. II)

Cited in

(6)

• Automata and tame expansions of \((\mathbb{Z}, +)\)
• On expansions of \((\mathbf{Z},+,0)\)
• Mutually algebraic structures and expansions by predicates
• CONTRIBUTIONS TO THE THEORY OF F-AUTOMATIC SETS
• Weakly minimal groups of unbounded exponent
• Enriching a predicate and tame expansions of the integers

This page was built for publication: Weakly minimal groups with a new predicate

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