Математическа логика: Разлика между версии

* Теорията на моделирането изследва модели на формални теории. Множеството на моделите на определена теория се нарича елементарен клас. Класическата теория на моделирането се опитва да определи свойствата на определен елементарен клас или да определи дали някои класове от структури са елементарни. Методите за елиминиране на кванторите се използват, за да се покаже, че моделите на определени теории не могат да са много сложни.