Справочная книга по математической логике, в 4 частях, часть 2, теория множеств, Барвайс Д., 1962

Справочная книга по математической логике, в 4-х частях, Барвайс Дж., часть 1, теория множеств, 1962.

ВВЕДЕНИЕ.

Бурное развитие теории множеств, последовавшее за фундаментальными открытиями Гёделя и Коэна, привело к многочисленным результатам о непротиворечивости в различных областях математики. Основной целью настоящей книги является изложение ряда основных методов и результатов теории множеств в доступном виде.





§ 1. Введение.

В принципе аксиоматическая система строится следующим образом. Сначала мы выбираем основные понятия и как можно полнее разъясняем их природу. Затем пишем аксиомы для этих понятий. При этом наши разъяснения должны сделать очевидной истинность написанных аксиом. Попытаемся представить аксиомы теории множеств именно таким образом. Начнем с объяснения понятия множества. Наше объяснение может показаться слишком сложным математику, считающему, что он понимает множества достаточно хорошо. Мы увидим, однако, что это объяснение довольно полезно, и не только для проверки аксиом теории множеств, но и для введения новых аксиом, а также для доказательства теорем о множествах.

Оглавление.

Предисловие редактора русского перевода.
Введение.
Глава 1. АКСИОМЫ ТЕОРИИ МНОЖЕСТВ. Джозеф Р. Шенфилд
Глава 2. ОБ АКСИОМЕ ВЫБОРА. Томас Дж. Йех.
Глава 3. КОМБИНАТОРИКА. Кеннет Кюнен.
Глава 4. ВЫНУЖДЕНИЕ. Джон П. Берджес.
Глава 5. КОНСТРУКТИВНОСТЬ. Кейт Дж. Девлин.
Глава 6. АКСИОМА МАРТИНА. Мэри Эллен Рубин.
Глава 7. РЕЗУЛЬТАТЫ О НЕПРОТИВОРЕЧИВОСТИ В ТОПОЛОГИИ. И. Юхас.
Глава 8. ДЕСКРИПТИВНАЯ ТЕОРИЯ МНОЖЕСТВ: ПРОЕКТИВНЫЕ МНОЖЕСТВА. Дональд А. Мартин.
Добавление. ПРОЕКТИВНАЯ ИЕРАРХИЯ Н. Н. ЛУЗИНА: СОВРЕМЕННОЕ СОСТОЯНИЕ ТЕОРИИ. В. Г. Кановей.
Именной указатель.
Предметный указатель.
Обозначения, связанные с определимостью.
Указатель обозначений.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Справочная книга по математической логике, в 4 частях, часть 2, теория множеств, Барвайс Д., 1962 - fileskachat.com, быстрое и бесплатное скачивание.

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


Скачать - djvu - Яндекс.Диск.




Теги: Барвайс :: 1962 :: математика