Языки и исчисления

Если теория имеет сколь угодно большое конечные нормальные модели, то она:

(Отметьте один правильный вариант ответа.)

Варианты ответа

не имеет бесконечную нормальную модель

универсальна

имеет бесконечную нормальную модель(Верный ответ)

Похожие вопросы

Если любая подструктура любой нормальной модели является ее моделью, то теория:

Если любая подструктура любой нормальной модели является ее моделью, то теория:

Если теория $\sum\nolimits_1 {}$ аксиоматизируема, то подструктура ее нормальной модели является:

Если всякое конечное подмножество теории в сигнатуре с равенством имеет нормальную модель, то теория:

Если теория П₁ аксиоматизируема, то подструктура ее нормальной модели является:

Теория Г противоречива, если в ней выводится:

Если теория устойчива относительно перехода к подструктурам, то она:

Теория сигнатуры с равенством имеет нормальную модель тогда и только тогда, когда:

Теория $\sum\nolimits_1 {}$ аксиоматизируема, если она: