Weakly minimal groups with a new predicate

DOI10.1142/S0219061320500117zbMATH Open1485.03093arXiv1809.04940OpenAlexW2994309862MaRDI QIDQ5118052FDOQ5118052

Authors: Gabriel Conant, M. C. Laskowski 

Publication date: 4 September 2020

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

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$.

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

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

zbMATH Keywords

stabilityrecurrence relationsweakly 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)

Cites Work

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

Cited In (5)

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

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)