Some Model Theory of Abelian Groups
Eklof, Paul C.
J. Symbolic Logic, Tome 37 (1972) no. 1, p. 335-342 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We study the relations between abelian groups $B$ and $C$ that every universal (resp. universal-existential) sentence true in $B$ is also true in $C$, and give algebraic criteria for these relations to hold. As a consequence we characterize the inductive complete theories of abelian groups and prove that they are exactly the model-complete theories.
Publié le : 1972-06-14
Classification:  
@article{1183738229,
     author = {Eklof, Paul C.},
     title = {Some Model Theory of Abelian Groups},
     journal = {J. Symbolic Logic},
     volume = {37},
     number = {1},
     year = {1972},
     pages = { 335-342},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183738229}
}

Eklof, Paul C. Some Model Theory of Abelian Groups. J. Symbolic Logic, Tome 37 (1972) no. 1, pp.  335-342. http://gdmltest.u-ga.fr/item/1183738229/