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

DOI10.2307/1999281zbMath0507.03012OpenAlexW4255826556MaRDI QIDQ4744252

Peter H. Schmitt, Yuri Gurevich

Publication date: 1984

Full work available at URL: https://doi.org/10.2307/1999281

zbMATH Keywords

quantifier eliminationindependence propertystability theorycomplete theory of ordered abelian groupstheory of coloured chains

Mathematics Subject Classification ID

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

Related Items

Abelian \(C\)-minimal valued groups, On elementary properties of free Lie algebras, Fractional parts of dense additive subgroups of real numbers, Automata and tame expansions of \((\mathbb{Z}, +)\), Distality in valued fields and related structures, Theories without the tree property of the second kind, Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023, Characterizing NIP henselian fields, A closedness theorem and applications in geometry of rational points over Henselian valued fields, Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$, ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK, Valued difference fields and \(\mathrm{NTP}_2\), Some remarks on inp-minimal and finite burden groups, Artin-Schreier extensions in NIP and simple fields, SOME PROPERTIES OF ANALYTIC DIFFERENCE VALUED FIELDS, Definable valuations induced by multiplicative subgroups and NIP fields, Vapnik-Chervonenkis density in some theories without the independence property, I, NIP Henselian valued fields, A CONJECTURAL CLASSIFICATION OF STRONGLY DEPENDENT FIELDS, Strongly dependent ordered abelian groups and Henselian fields, THE ADDITIVE GROUPS OF AND WITH PREDICATES FOR BEING SQUARE-FREE, Topological fields with a generic derivation

Cites Work

• Unnamed Item
• Unnamed Item
• Theories of linear order
• The first order properties of products of algebraic systems
• Théories d'arbres
• An introduction to forking
• The stability function of a theory
• Théories instables
• Expanded theory of ordered Abelian groups
• Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
• Elementary properties of ordered abelian groups