Если Т w-стабильна и без пар Вота, то в любой M |= Т есть сильно минимальная формула над M. В частности, есть сильно минимальная формула с параметрами из Mо - простой модели Т.

Теория множеств и ординалы.
Теорема 110 (Цермело). Множество А может быть вполне упорядочено тогда и только тогда, когда 2А имеет функцию выбора.
Теорема 111 (лемма Цорна). Аксиома выбора эквивалентна следующему утверждению: если любая цепь в частично упорядоченном множестве имеет точную верхнюю грань, то в этом множестве найдётся максимальный элемент.
Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Очень краткий конспект лекций по математической логике, Николенко С., 2010 - fileskachat.com, быстрое и бесплатное скачивание.
Скачать pdf
Ниже можно купить эту книгу, если она есть в продаже, и похожие книги по лучшей цене со скидкой с доставкой по всей России.Купить книги
Скачать - pdf - Яндекс.Диск.
Дата публикации:
Теги: учебник по математике :: математика :: Николенко
Смотрите также учебники, книги и учебные материалы:
Следующие учебники и книги:
Предыдущие статьи: