The Theory of Ordered Abelian Groups does not have the Independence Property
From MaRDI portal
Publication:4744252
DOI10.2307/1999281zbMath0507.03012OpenAlexW4255826556MaRDI QIDQ4744252
Peter H. Schmitt, Yuri Gurevich
Publication date: 1984
Full work available at URL: https://doi.org/10.2307/1999281
quantifier eliminationindependence propertystability theorycomplete theory of ordered abelian groupstheory of coloured chains
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