pith. sign in

arxiv: 1601.05692 · v3 · pith:J6CJX3HLnew · submitted 2016-01-21 · 🧮 math.LO

Stable groups and expansions of (mathbb{Z},+,0)

classification 🧮 math.LO
keywords mathbbstabledefinablefiniteexpansionsgroupthenweight
0
0 comments X
read the original abstract

We show that if $G$ is a sufficiently saturated stable group of finite weight with no infinite, infinite-index, chains of definable subgroups, then $G$ is superstable of finite $U$-rank. Combined with recent work of Palacin and Sklinos, we conclude that $(\mathbb{Z},+,0)$ has no proper stable expansions of finite weight. A corollary of this result is that if $P\subseteq\mathbb{Z}^n$ is definable in a finite dp-rank expansion of $(\mathbb{Z},+,0)$, and $(\mathbb{Z},+,0,P)$ is stable, then $P$ is definable in $(\mathbb{Z},+,0)$. In particular, this answers a question of Marker on stable expansions of the group of integers by sets definable in Presburger arithmetic.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Trace definability I: preservation and characterizations

    math.LO 2025-04 unverdicted novelty 6.0

    Introduces trace definability for first-order structures and establishes preservation and characterization results for classification-theoretic properties under it.