Abstract
We investigate existentially complete lattice-ordered groups in this paper. In particular, we list some of their algebraic properties and show that there are continuum many countable pairwise non-elementarily equivalent such latticeordered groups. In particular, existentially complete lattice-ordered groups give rise to a new class of simple groups.
Similar content being viewed by others
References
R. N. Ball,Topological lattice-ordered groups, Pacific J. Math., to appear.
O. B. Belegradek,On algebraically closed groups, Algebra and Logic13 (1974), 135–144.
A. Bigard, K. Keimel and S. Wolfenstein,Groupes et Anneaux Réticulés, Springer Lecture Notes, No. 608, Heidelberg, 1977.
G. Cherlin,Model - Theoretic Algebra — Selected Topics, Springer Lecture Notes, No. 521, Heidelberg, 1976.
P. C. Eklof,Ultraproducts for algebraists, inHandbook in Mathematical Logic (J. Barwise, ed.), North Holland, Amsterdam, 1977.
A. M. W. Glass,Ordered Permutation Groups, Bowling Green State University, 1976.
A. M. W. Glass and K. R. Pierce,Equations and inequations in lattice-ordered groups, inProc. Ordered Groups Conference, Boise, Idaho, 1978, Marcel Dekker, to appear.
A. M. W. Glass and K. R. Pierce,Existentially complete abelian lattice-ordered groups, Trans. Amer. Math. Soc., to appear.
Y. Gurevich,Hereditary undecidability of the theory of lattice-ordered groups, Algebra and Logic6 (1967), 45–62 (in Russian).
J. Hirschfeld and W. H. Wheeler,Forcing, Arithmetic, Division Rings, Springer Lecture Notes, No. 454, Heidelberg, 1975.
B. Jónsson, personal communication.
A. Macintyre,On algebraically closed groups, Ann. of Math.96 (1972), 53–97.
A. Macintyre,Model completeness, inHandbook in Mathematical Logic (J. Barwise, ed.), North Holland, Amsterdam, 1977.
B. H. Neumann,A note on algebraically closed groups, J. London Math. Soc.27 (1952), 247–249.
B. H. Neumann,The isomorphism problem for algebraically closed groups, inWord Problems (W. W. Boone, F. B. Cannonito and R. C. Lyndon, eds.), North Holland, Amsterdam, 1973, pp. 553–561.
K. R. Pierce,Amalgamations of lattice-order groups, Trans. Amer. Math. Soc.172 (1972), 249–260.
D. Saracino,Existentially complete nilpotent groups, Israel J. Math.25 (1976), 241–248.
A. Tarski (in collaboration with A. Mostowski and R. M. Robinson),Undecidable Theories, North Holland, Amsterdam, 1953.
E. C. Weinberg,Minimal η α sets, inProc. Ordered Groups Conference, Boise, Idaho, 1978, Marcel Dekker, to appear.
M. Ziegler,Algebraisch abgeschlossene Gruppen, Habilitationsschrift, TU, Berlin, 1976.
Author information
Authors and Affiliations
Additional information
This paper is dedicated to the memory of Abraham Robinson. Without his pioneer work in model-theoretic forcing, none of this research would have been possible.
Research supported in part by a grant from Bowling Green State University Faculty Research Committee.
Research conducted in part while on sabbatical leave from the University of Missouri.
Rights and permissions
About this article
Cite this article
Glass, A.M.W., Pierce, K.R. Existentially complete lattice-ordered groups. Israel J. Math. 36, 257–272 (1980). https://doi.org/10.1007/BF02762049
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02762049