Strong theories of ordered abelian groups

DOI10.4064/FM256-5-2016MaRDI QIDQ2957274zbMATH OpenOpenAlexFDO

Authors 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

dp-rankNIPordered abelian groupsstrong theories

Mathematics Subject Classification ID

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

Abstract: We consider strong expansions of the theory of ordered abelian groups. We show that the assumption of strength has a multitude of desirable consequences for the structure of definable sets in such theories, in particular as relates to definable infinite discrete sets. We also provide a range of examples of strong expansions of ordered abelian groups which demonstrate the great variety of such theories.

Recommendations

• A Characterization of Strongly Dependent Ordered Abelian Groups
• scientific article; zbMATH DE number 3893182
• scientific article; zbMATH DE number 4095438
• Strongly dependent ordered abelian groups and Henselian fields
• scientific article; zbMATH DE number 849299

Cites work

• Additivity of the dp-rank
• Convexly orderable groups and valued fields
• 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
• Structures having o-minimal open core
• The independence property in generalized dense pairs of structures

Cited in

(28)

• Fractional parts of dense additive subgroups of real numbers
• Interpreting the monadic second order theory of one successor in expansions of the real line
• Abelian \(p\)-groups with no invariants
• Tame topology over definable uniform structures
• Dp-finite fields. I(A): The infinitesimals
• Interpretable fields in various valued fields
• Expansions of o-minimal structures by dense independent sets
• A Characterization of Strongly Dependent Ordered Abelian Groups
• scientific article; zbMATH DE number 4168740 (Why is no real title available?)
• Eliminating field quantifiers in strongly dependent henselian fields
• There are no intermediate structures between the group of integers and Presburger arithmetic
• THE ADDITIVE GROUPS OF AND WITH PREDICATES FOR BEING SQUARE-FREE
• Externally definable quotients and NIP expansions of the real ordered additive group
• Hamel spaces and distal expansions
• scientific article; zbMATH DE number 3893182 (Why is no real title available?)
• Henselian valued fields and inp-minimality
• A new dp-minimal expansion of the integers
• Decidability of Definability Issues in the Theory of Real Addition
• Uniformly locally o‐minimal open core
• Topological properties of definable sets in ordered Abelian groups of burden 2
• ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK
• A family of dp-minimal expansions of \((\mathbb{Z}; +)\)
• A dichotomy for T-convex fields with a monomial group
• Constructible structures and constructible open cores
• Discrete sets definable in strong expansions of ordered abelian groups
• Enriching a predicate and tame expansions of the integers
• On dp-minimal expansions of the integers
• Distality for the asymptotic couple of the field of logarithmic transseries

This page was built for publication: Strong theories of ordered abelian groups

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