×

The elementary theory of abelian groups. (English) Zbl 0248.02049


MSC:

03B25 Decidability of theories and sets of sentences
20K99 Abelian groups
03C68 Other classical first-order model theory
PDFBibTeX XMLCite
Full Text: DOI