Strong theories of ordered Abelian groups

DOI10.4064/fm256-5-2016zbMath1420.03065arXiv1511.08274OpenAlexW2963777753MaRDI QIDQ2957274

Alfred Dolich, John Goodrick

Publication date: 25 January 2017

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

NIPdp-rankordered abelian groupsstrong theories

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Classification theory, stability, and related concepts in model theory (03C45) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Model theory of ordered structures; o-minimality (03C64)

Related Items

Decidability of Definability Issues in the Theory of Real Addition ⋮ Externally definable quotients and NIP expansions of the real ordered additive group ⋮ Expansions of o-minimal structures by dense independent sets ⋮ Tame topology over definable uniform structures ⋮ Fractional parts of dense additive subgroups of real numbers ⋮ Interpreting the monadic second order theory of one successor in expansions of the real line ⋮ Dp-finite fields. I(A): The infinitesimals ⋮ Interpretable fields in various valued fields ⋮ Uniformly locally o‐minimal open core ⋮ Topological properties of definable sets in ordered Abelian groups of burden 2 ⋮ HAMEL SPACES AND DISTAL EXPANSIONS ⋮ ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK ⋮ A family of dp-minimal expansions of \((\mathbb{Z}; +)\) ⋮ Eliminating field quantifiers in strongly dependent henselian fields ⋮ THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC ⋮ HENSELIAN VALUED FIELDS AND inp-MINIMALITY ⋮ A NEW DP-MINIMAL EXPANSION OF THE INTEGERS ⋮ Distality for the asymptotic couple of the field of logarithmic transseries ⋮ THE ADDITIVE GROUPS OF AND WITH PREDICATES FOR BEING SQUARE-FREE

Cites Work

• Dp-minimality: basic facts and examples
• Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems
• Additivity of the dp-rank
• CONVEXLY ORDERABLE GROUPS AND VALUED FIELDS
• The independence property in generalized dense pairs of structures
• Structures having o-minimal open core