A Characterization of Strongly Dependent Ordered Abelian Groups
A Characterization of Strongly Dependent Ordered Abelian Groups
A. Dolich,John Goodrick
2017 · DOI: 10.15446/RECOLMA.V52N2.77154
Revista Colombiana de Matemáticas · 11 Citations
Abstract
We characterize all ordered Abelian groups whose first-order theory in the language {+, <, 0} is strongly dependent. The main result of this note was obtained independently by Halevi and Hasson [7] and Farré [5].