Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

The theory of ordered abelian groups does not have the independence property


Authors: Y. Gurevich and P. H. Schmitt
Journal: Trans. Amer. Math. Soc. 284 (1984), 171-182
MSC: Primary 03C60; Secondary 06F20
DOI: https://doi.org/10.1090/S0002-9947-1984-0742419-0
MathSciNet review: 742419
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We prove that no complete theory of ordered abelian groups has the independence property, thus answering a question by B. Poizat. The main tool is a result contained in the doctoral dissertation of Yuri Gurevich and also in P. H. Schmitt's Elementary properties of ordered abelian groups, which basically transforms statements on ordered abelian groups into statements on coloured chains. We also prove that every $ n$-type in the theory of coloured chains has at most $ {2^n}$ coheirs, thereby strengthening a result by B. Poizat.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 03C60, 06F20

Retrieve articles in all journals with MSC: 03C60, 06F20


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1984-0742419-0
Article copyright: © Copyright 1984 American Mathematical Society

American Mathematical Society