Две интерпретации - изоморфны, если между ними существует:

Биекция - автоморфизм интерпретации, если все функции и предикаты интерпретации:

У Консерватора есть способ выиграть если интерпретации:

В игре Эренфойхта, если есть предикат сигнатуры, различающий помеченные элементы интерпретации, то:

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

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

Предикат, выразимый в данной интерпретации:

Формула, истинная в любой интерпретации сигнатуры называется:

Если B - полный базис, то существует :

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

Естественные интерпретации сигнатуры на носителе R: