Очень краткий конспект лекций по математической логике, Николенко С., 2010
Очень краткий конспект лекций по математической логике, Николенко С., 2010.
Если Т w-стабильна и без пар Вота, то в любой M |= Т есть сильно минимальная формула над M. В частности, есть сильно минимальная формула с параметрами из Mо - простой модели Т.
Теория множеств и ординалы.
Теорема 110 (Цермело). Множество А может быть вполне упорядочено тогда и только тогда, когда 2А имеет функцию выбора.
Теорема 111 (лемма Цорна). Аксиома выбора эквивалентна следующему утверждению: если любая цепь в частично упорядоченном множестве имеет точную верхнюю грань, то в этом множестве найдётся максимальный элемент.
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12747 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Жидкие кристаллы и биологические структуры
Автор: Браун Г., Уолкен Дж. Год издания: 1982 Формат: djvu Издат.: Мир Страниц: 199 Размер: 4.5 мб Язык: Русский Жидкие кристаллы привлекают внимание биологов тем, . . .
-
Малая медицинская энциклопедия, т.т. 1-6
Название: Малая медицинская энциклопедия, т.т. 1-6Автор: авторский коллектив (гл.ред. Покровский В.И.)Издательство: М: Советская энциклопедияГод издания: 1991-1996Страниц: 3520Язык: РусскийФормат: d . . .
-
БАБУШКА «Энциклопедия народной медицины» (тома LVIII-LXIII)
Название: БАБУШКА «Энциклопедия народной медицины» (тома LVIII-LXIII)Автор: Бондарев С.Издательство: Кировград: Ред. газеты «Бабушка (Рецепты от 100 бед)»Год издания: 2009-2010Страниц: 490Язык: Русс . . .
-
Auszeichnungen des 3. Reiches. Spezialkatalog 2005/2006
Название: Auszeichnungen des 3. Reiches. Spezialkatalog 2005/2006Автор: Lothar HartungГод издания: 2005Страниц: 193Язык: НемецкийФормат: PDFКачество: среднееРазмер: 16 МбОписание:В книге представлен . . .
-
Журнал Bruce Morgan: Реванш (Revenge)
Название: Реванш (Revenge) Страниц: 103 Формат: -jpeg Размер файла: -20.85 Мб Язык: РусскийСодержание: Все началось с того, что... Богатый бизнесмен представил . . .
-
Журнал Fernando: Психоз (Psychosis)
Название: Психоз (Psychosis) Издательство: Dofantasy Страниц: 47 Формат: -jpeg Размер файла: -14.55 Мб Язык: РусскийСодержание: Существует много историй об . . .
-
Журнал Salva: Сильвестро Скалоне "Рэмпо" (Silvestre Scalone "Rampo")
Название: Сильвестро Скалоне "Рэмпо" (Silvestre Scalone "Rampo") Страниц: 33 Формат: -jpeg Размер файла: -7.66 Мб Язык: РусскийСодержание: Серия небольших комик . . .
-
Журнал Красавица и чудовище (Beauty and the Beast)
Название: Красавица и чудовище (Beauty and the Beast) Страниц: 101 Формат: -jpeg Размер файла: -19.41 Мб Язык: РусскийСодержание: Когда-то давным давно в одном . . .
-
Журнал Claudio Trinca: Арабские ночи (Arabian Nights)
Название: Арабские ночи (Arabian Nights) Страниц: 124 Формат: -jpeg Размер файла: -9.54 Мб Язык: РусскийСодержание: Порно фотосессия в арабской пустыне привела . . .
-
Журнал Лифт (The Elevator) / Amezcua
Название: Лифт (The Elevator) Страниц: 8 Формат: -jpeg Размер файла: -6.18 Мб Язык: русскийСодержание: После ссоры Леона уходит от своего парня Билли, порядочно . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Очень краткий конспект лекций по математической логике, Николенко С., 2010. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.