Очень краткий конспект лекций по математической логике, Николенко С., 2010

Очень краткий конспект лекций по математической логике, Николенко С., 2010.

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

Очень краткий конспект лекций по математической логике, Николенко С., 2010


Теория множеств и ординалы.
Теорема 110 (Цермело). Множество А может быть вполне упорядочено тогда и только тогда, когда 2А имеет функцию выбора.

Теорема 111 (лемма Цорна). Аксиома выбора эквивалентна следующему утверждению: если любая цепь в частично упорядоченном множестве имеет точную верхнюю грань, то в этом множестве найдётся максимальный элемент.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Очень краткий конспект лекций по математической логике, Николенко С., 2010 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу



Скачать - pdf - Яндекс.Диск.
Дата публикации:





Теги: :: ::


Следующие учебники и книги:
Предыдущие статьи:


 


 

Книги, учебники, обучение по разделам




Не нашёл? Найди:





2024-11-21 12:18:45