Summary
In [GK], Gurevich and Kokorin proved that any two non-trivial ordered abelian groups (o-groups, for short) satisfy the same existential sentences. Let nowG, H be non-trivialo-groups with a commono-subgroupG 0. We determine whetherG andH are existentially equivalent overG 0. As a corollary, we obtain algebraic criteria for deciding, whether ano-subgroupG is existentially closed in ano-groupH. Corresponding results are proved foro-groups in which congruences are regarded as atomic relations.
Similar content being viewed by others
References
Bigard, A., Keimel, K., Wolfenstein, S.: Groupes et anneaux réticulés (Lect. Notes Math., vol. 608) Berlin Heidelberg New York: Springer 1977
Fuchs, L.: Teilweise geordnete algebraische Strukturen. Göttingen: Vandenhoeck und Ruprecht, 1966
Fuchs, L.: Infinite abelian groups. I. New York: Academic Press 1970
Glass, A.M.W., Pierce, K.R.: Existentially complete abelian lattice-ordered groups. Trans. Am. Math. Soc.261, 255–270 (1980)
Gurevich, Y., Kokorin, A.I.: Universal equivalence of ordered abelian groups (in Russian). Algebra Logika2, 37–39 (1963)
Transier, R.: Untersuchungen zu einer allgemeinen Theorie formalp-adischer Körper. Doctoral dissertation, Universität Heidelberg, 1977
Weispfenning, V.: On the elementary theory of Hensel fields. Ann. Math. Logic10, 59–93 (1976)
Weispfenning, V.: Existential equivalence of ordered abelian groups with parameters. Tagungsbericht Oberwolfach 2, 1986
Weispfenning, V.: Model theory of abelianl-groups, Chap. 3. In: Glass, A.M.W., Holland, W.Ch. (eds.). Lattice-Ordered Groups. Proc. Workshop Bowling Green, Ohio, 1985. Kluwer Academic Publishing: Norwell 1989
Zakon, E.: Generalized archimedean groups. Trans. Am. Math. Soc.99, 21–40 (1961)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Weispfenning, V. Existential equivalence of ordered abelian groups with parameters. Arch Math Logic 29, 237–248 (1990). https://doi.org/10.1007/BF01651327
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01651327