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.