Abstract
Letn be a positive integer, letK n denote the theory of groups nilpotent of class at mostn, and letK + n denote the theory of torsion-free groups nilpotent of class at mostn. We show that ifn≧2 then neitherK n norK + n has a model companion. ForK n we obtain the stronger result that the class of finitely generic models is disjoint from the class of infinitely generic models. We also give some other results about existentially complete nilpotent groups.
Similar content being viewed by others
References
P. Eklof and G. Sabbagh,Model-completions and modules, Ann. Math. Logic2 (1970/71), 251–295.
P. Hall,On the finiteness of certain soluble groups, Proc. London Math. Soc. (3)9 (1959), 595–622.
A. Macintyre,On algebraically closed groups, Ann. of Math. (2)96 (1972), 53–97.
A. Macintyre and D. Saracino,On existentially complete nilpotent Lie algebras, Notices Amer. Math. Soc.21 (No. 3) (1974), A-379.
A. Robinson,Forcing in model theory, Symposia Mathematica, Vol. V (INDAM, Rome, 1969/70), Academic Press, London, 1971, pp. 69–82.
A. Robinson,Infinite forcing in model theory, Proc. Second Scandinavian Logic Symposium, North-Holland, Amsterdam, 1971.
D. Saracino,Wreath products and existentially complete solvable groups, Trans. Amer. Math. Soc.197 (1974), 327–339.
D. Saracino,On existentially complete nilpotent groups, Notices Amer. Math. Soc.21 (No. 3) (1974), A-379.
Author information
Authors and Affiliations
Additional information
Dedicated to the Memory of Abraham Robinson.
Rights and permissions
About this article
Cite this article
Saracino, D. Existentially complete nilpotent groups. Israel J. Math. 25, 241–248 (1976). https://doi.org/10.1007/BF02757003
Issue Date:
DOI: https://doi.org/10.1007/BF02757003