Категория : Теория моделей

Викискладе есть медиафайлы, связанные с теорией моделей .

Теория моделей — это исследование взаимосвязей между формальными теориями (набором предложений на формальном языке, выражающих утверждения о математической структуре ) и их моделями (теми структурами, в которых выполняются утверждения теории). Исследуемые аспекты включают количество и размер моделей теории, взаимосвязь различных моделей друг с другом и их взаимодействие с самим формальным языком. В частности, теоретики моделей также исследуют множества, которые могут быть определены в модели теории, и взаимосвязь таких определимых множеств друг с другом.