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

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

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

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

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

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

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

Предикат "x - простое число номер n":

Предикат "z=x+y", где "+" - конкатенация двоичных слов:

Предикат "двоичное слово x состоит только из нулей":

Предикат "двоичные слова x и y имеют одинаковую длину":