Informally, model theory can be divided into classical model theory, model theory applied to groups and fields, and geometric model theory.
Аналогично, теория, имеющая бесконечную модель, мощность которой не меньше мощности сигнатуры, имеет модели и любой большей мощности.