Eklof, Paul C.; Fischer, Edward R. The elementary theory of abelian groups. (English) Zbl 0248.02049 Ann. Math. Logic 4, 115-171 (1972). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 7 ReviewsCited in 55 Documents MSC: 03B25 Decidability of theories and sets of sentences 20K99 Abelian groups 03C68 Other classical first-order model theory PDFBibTeX XMLCite \textit{P. C. Eklof} and \textit{E. R. Fischer}, Ann. Math. Logic 4, 115--171 (1972; Zbl 0248.02049) Full Text: DOI