The Theory of Ordered Abelian Groups does not have the Independence Property

Classification theory, stability, and related concepts in model theory (03C45) Properties of classes of models (03C52) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

An introduction to forking
Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
The first order properties of products of algebraic systems
Théories instables
Title not available (Why is that?)
Theories of linear order
Title not available (Why is that?)
The stability function of a theory
Expanded theory of ordered Abelian groups
Elementary properties of ordered abelian groups
Théories d'arbres

Cited In (25)

On elementary properties of free Lie algebras
ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK
Some remarks on inp-minimal and finite burden groups
Topological fields with a generic derivation
Some properties of analytic difference valued fields
NIP Henselian valued fields
Analytic Ax-Kochen-Ersov theory with lifts of the residue field and value group
Fractional parts of dense additive subgroups of real numbers
Definable valuations induced by multiplicative subgroups and NIP fields
Abelian $C$-minimal valued groups
Automata and tame expansions of $(\mathbb{Z}, +)$
Vapnik-Chervonenkis density in some theories without the independence property. I
THE ADDITIVE GROUPS OF AND WITH PREDICATES FOR BEING SQUARE-FREE
Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$
Strongly dependent ordered abelian groups and Henselian fields
Corrigendum to: ``Strongly dependent ordered abelian groups and Henselian fields
Theories without the tree property of the second kind
Valued difference fields and $\mathrm{NTP}_2$
Distality in valued fields and related structures
Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023
Geometric decision procedures and the VC dimension of linear arithmetic theories
A closedness theorem and applications in geometry of rational points over Henselian valued fields
A conjectural classification of strongly dependent fields
Characterizing NIP henselian fields
Artin-Schreier extensions in NIP and simple fields

This page was built for publication: The Theory of Ordered Abelian Groups does not have the Independence Property

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