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

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

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

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

ее моделью(Верный ответ)

полной

ее сигнатурой

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

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

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

Теория П₁ аксиоматизируема, если она:

Теория Т - П₁ аксиоматизируема, если существуют П₁-формулы,из которых:

Нормальная интерпретация А сигнатуры S с равенством может быть расширена до нормальной модели теории Т, если:

Теория Т - $\sum\nolimits_1 {}$ аксиоматизируема, если существуют $\sum\nolimits_1 {}$ -формулы, из которых:

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

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

Чтобы задать подструктуру нормальной интерпретации В, нужно взять подмножество носителя В: