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

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

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

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

Если все П₁-формулы сигнатуры S с равенством, выводимые из теории Т, истинны в А, то:

Если А - бесконечная нормальная интерпретация сигнатуры с равенством,то нормальная интерпретация В А большой мощности , является элементарным расширением А:

Если А - бесконечная нормальная интерпретация сигнатуры S с равенством ,, то нормальное элементарное расширение мощности m:

Если А - замкнутая формула сигнатуры непротиворечивого множества Г и выводима , то:

Если А - замкнутая формула сигнатуры непротиворечивого множества Г и выводима А, то:

Для некоторой сигнатуры S две ее интерпретации называются элементарно эквивалентными, если:

Любую модель теории D(A) можно считать расширением интерпретации А, если: