Baudisch, Andreas The theory of Abelian p-groups with the quantifier I is decidable. (English) Zbl 0369.02024 Fundam. Math. 108, 183-197 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 03B25 Decidability of theories and sets of sentences 03C80 Logic with extra quantifiers and operators 03C99 Model theory Keywords:theory of Abelian p-groups; Härtig quantifier; elementary Szmielew basic sentences PDFBibTeX XMLCite \textit{A. Baudisch}, Fundam. Math. 108, 183--197 (1980; Zbl 0369.02024) Full Text: DOI EuDML