Нормальная интерпретация А сигнатуры S с равенством может быть расширена до нормальной модели теории Т, если:
Если все П1-формулы сигнатуры S с равенством, выводимые из теории Т, истинны в А, то:
Если А - бесконечная нормальная интерпретация сигнатуры с равенством,то нормальная интерпретация В А большой мощности , является элементарным расширением А:
Если в Г все формулы истинны в интерпретации М, то для некоторой замкнутой формулы А:
Если в Г все формулы истинны в интерпретации М, то для некоторой замкнутой формулы А:
Чтобы задать подструктуру нормальной интерпретации В, нужно взять подмножество носителя В:
Формула А семантически следует из теории T,если она:
Интерпретация М теории Г, в которой все формулы из Г истинны в М - это:
Если выводима формула А(с/х), где А - формула, х - переменная, с - константа не входящая в А, то тогда:
Для некоторой сигнатуры S две ее интерпретации называются элементарно эквивалентными, если:
(Верный ответ)
