pith. sign in

arxiv: 1706.05471 · v1 · pith:A64K3BUDnew · submitted 2017-06-17 · 🧮 math.LO

Strong ordered Abelian groups and dp-rank

classification 🧮 math.LO
keywords abelianordereddp-rankstronggroupgroupsfinitealgebraic
0
0 comments X
read the original abstract

We provide an algebraic characterization of strong ordered Abelian groups: An ordered Abelian group is strong iff it has bounded regular rank and almost finite dimension. Moreover, we show that any strong ordered Abelian group has finite Dp-rank. We also provide a formula that computes the exact valued of the Dp-rank of any ordered Abelian group. In particular characterizing those ordered Abelian groups with Dp-rank equal to $n$. We also show the Dp-rank coincides with the Vapnik-Chervonenkis density.

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 2 Pith papers

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

  1. Trace definability II: model-theoretic linearity

    math.LO 2026-05 unverdicted novelty 7.0

    A weakly o-minimal structure without infinite groups has a Shelah completion that interprets an infinite field, with a new local trace definability notion and a linearity-field dichotomy for certain ordered groups.

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