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


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

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

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


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

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



Бесплатно скачать электронную книгу в удобном формате и читать:

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

Скачать




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





Теги: :: ::


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


 


 


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




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





2016-12-08 22:57:56