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

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

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

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

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

если она полна

позволяет переходить к подструктурам

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

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

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

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

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

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

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

Любая теория, имеющая П₂-аксиоматизацию:

Теория Г может быть:

Теория Г в сигнатуре S - это произвольное: