Cтраница 1
Произвольная модель ЭД принадлежит К тогда и только тогда, когда каждая конечная подмодель модели ЭД изоморфно вкладывается в подходящую модель из К. Докажите аналогичное утверждение для ( не обязательно конечного) языка X, содержащего лишь предикатные символы. [1]
Всякое расширение произвольной модели является ее SJ - расширением, и потому всякая цепь моделей является 2 -цепью. [2]
Этот вопрос для произвольной модели 21 чрезвычайно труден, так как из ответа на него вытекают решения некоторых проблем логики второго порядка, которыми мы еще не располагаем. Если вопрос ставится для всего класса моделей 21 языка X, как, например, в теореме Бета и в некоторых наших последующих теоремах этого раздела, то можно получить очень элегантные ответы. [3]
Sn, Рассмотрим произвольную модель А. [4]
В общем случае для произвольной модели ядра уравнение (8.13) не допускает аналитического решения, и поэтому Необходимо применять численные методы для решения такого типа уравнений. [5]
Конечно, если J - произвольная модель для Г, то всякий терм, входящий в любое предложение из Г, должен обозначать тот или иной объект из области этой модели I. [6]
Пеано и ЛГ1, Ор S - произвольная модель. Иногда для обоснования существования такой функции h ( не касаясь пока вопроса единственности) приводят следующее рассуждение. [7]
Эту зависимость нетрудно рассчитать численным образом для произвольной модели возбудимой среды. [8]
Функция распределения для первого контакта РП для произвольной модели прыжкового движения радикалов не найдена. [9]
В этой теореме идет речь об истинности в произвольных моделях заданной сигнатуры. [10]
Это утверждение и результаты двух следующих задач обобщаются на произвольные модели и произвольные симметрии и носят название теоремы Коулмена. [11]
Обратно, если Т A D В и / - произвольная модель множества Г U Л, ToI A Bw. [12]
Пусть модель § 1 а-насыщенна, и пусть S3 - произвольная модель мощности а, эквивалентная модели ЭД. [13]
Из теоремы 6.1.9 вытекает, что в предположении ОКГ две произвольные модели ЭД, 23 произвольного языка X элементарно эквивалентны тогда и только тогда, когда они имеют изоморфные ультрастепени. Эта теорема об изоморфизме дает нам чисто алгебраическое описание отношения элементарной эквивалентности. Заметим, что неизвестно, верна ли теорема 6.1.9 без предположения 2а а, в то же время приведенное выше следствие теоремы 6.1.9 верно и без предположения о справедливости ОКГ. Следующие леммы нужны для доказательства теоремы об изоморфизме, не использующего ОКГ. [14]
Докажите, что простое обогащение Ш, а) а6А произвольной модели ЭД является атомной моделью. [15]