Title: Decidability and generalized quantifiers
Subjects: Abelian groups, Gödel's theorem, First-order logic, Decidability (Mathematical logic)