Decidable theories