Если Т w-стабильна и без пар Вота, то в любой M |= Т есть сильно минимальная формула над M. В частности, есть сильно минимальная формула с параметрами из Mо - простой модели Т.
Теория множеств и ординалы.
Теорема 110 (Цермело). Множество А может быть вполне упорядочено тогда и только тогда, когда 2А имеет функцию выбора.
Теорема 111 (лемма Цорна). Аксиома выбора эквивалентна следующему утверждению: если любая цепь в частично упорядоченном множестве имеет точную верхнюю грань, то в этом множестве найдётся максимальный элемент.
Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Очень краткий конспект лекций по математической логике, Николенко С., 2010 - fileskachat.com, быстрое и бесплатное скачивание.
Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу
Скачать - pdf - Яндекс.Диск.
Дата публикации:
Теги: учебник по математике :: математика :: Николенко
Смотрите также учебники, книги и учебные материалы:
Следующие учебники и книги:
- Уравнения в частных производных, Конев В.В., 2011
- Занимательная математика, Гамов Г., Стерн М., 2001
- Математическое моделирование в технике, учебник для вузов, Зарубина В.С., Крищенко А.П., 2003
- Основные методы решения практических задач в курсе уравнения математической физики, Кудряшов С.Н., Радченко Т.Н., 2011
Предыдущие статьи:
- Математические средства обработки изображения, Шлезингер М.И., 1989
- Численные методы: Учебное пособие, Абрамкин Г.П., 2005
- Лекции по дифференциальным уравнениям, Шолохович Ф.А., 2005
- Классические средние в арифметике и геометрии, Блинков А.Д., 2013