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

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

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

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

она противоречива при добавлении аксиом равенства

все равенства нормальные.

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

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

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

Секвенция выводима тогда и только тогда, когда она:

Итерации A и B элементарно эквивалентны тогда и только тогда, когда в соответствующей игре Эренфойхта:

Формулы A и B эквивалентны тогда и только тогда, когда тавтологией является формула:

Множество истинных бескванторных формул сигнатуры с равенством и константами для всех элементов интерпретации - это:

Утверждение $\forall x\forall y\exists z\forall u\exists vA(x,y,z,u,v)$ выполнимо только тогда, когда выполнимо:

Если T₁, T₂ - теории сигнатуры с равенством, то:

Непротиворечивая теория с равенством в не более счетной сигнатуре, не имеющая конечных моделей и категоричная в несчетной мощности: