Title: Decidability and generalized quantifiers
Subjects: Decidability (Mathematical logic), Predicate calculus