×

The theory of Abelian p-groups with the quantifier I is decidable. (English) Zbl 0369.02024


MSC:

03B25 Decidability of theories and sets of sentences
03C80 Logic with extra quantifiers and operators
03C99 Model theory
PDFBibTeX XMLCite
Full Text: DOI EuDML