Decidable sublanguages of set theory

In mathematical logic, various sublanguages of set theory are decidable. These include:

• Sets with monotone, additive, and multiplicative Functions.
• Sets with restricted quantifiers.