Справочная книга по математической логике, Часть 2, Теория множеств, Барвайс Д., 1982.
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.
Настоящая книга состоит из ряда глав и добавления, написанных видными специалистами по теории множеств. Каждая глава - это самостоятельная статья. Она содержит в основном замкнутый в себе материал и может читаться независимо от остальных глав сборника. Главы очень разные по характеру и подробности изложения. Например, глава 2, написанная Т. Иехом, представляет собой весьма беглый обзор проблематики и результатов, относящихся к аксиоме выбора.
Написанная Берджесом глава 4 о методе вынуждения, напротив, дает довольно подробное изложение доказательств некоторых основных результатов. Упор в справочном руководстве по теории множеств сделан на разъяснение основных идей и методов аксиоматической теории множеств, а не на охват как можно большего числа результатов. В этом отношении наиболее показательна глава 5 о комбинаторике, написанная К. Кюненом. Вводная глава, принадлежащая Дж. Шенфилду, посвященная аксиоматике системы Цермело - Френкеля, доступна широкому кругу читателей. Наиболее трудна для чтения написанная К. Девлином глава 5 об аксиоме конструктивности, излагающая громоздкие конструкции и насыщенная большим количеством формул. В книгу включены также топологические приложения аппарата аксиоматической теории множеств. В главах б и 7, принадлежащих М. Рудин и И. Юхасу, рассматриваются топологические следствия аксиомы Мартина и различных комбинаторных принципов, вытекающих из аксиомы конструктивности Гёделя.
СОДЕРЖАНИЕ
§ 1. Введение
§ 2. Множества и образование множеств
§ 3. Аксиомы
§ 4. Развитие теории множеств
§ 5. Ординалы
§ 6. Аксиома выбора
§ 7. Классы
§ 8. Новые аксиомы
Рейтинг: | 4.8 баллов / 2537 оценок |
Формат: | Книга |
Уже скачали: | 12915 раз |
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
Автор: Мирович МихаилНазвание: Генерал де Голль. Штрихи к политическому портретуИсполнитель: Мурашко ИгорьВремя воспроизведения: 8:34:59Издательство: Нигде не купишьГод издания: 2011Прочитано по изд . . .
Название: Сборник, 3 книгиАвтор: Гончаренко, Светлана ГеоргиевнаИздательство: М.: Центрполиграф, Советская РоссияГод издания:2007Формат: fb2Страниц: МногоКачество: ОтличноеЯзык: РусскийРазмер: 100 . . .
Автор: Ярослав ГашекНазвание: Хрестоматия хороших манерИздательство: Студия АРДИСГод: 2006Формат: аудиокнига MP3Размер: 480.6 MBВремя звучания: 5 часов 49 минут.Имя Ярослава Гашека не нуждается в р . . .
Математика, алгебра и начала математического анализа, геометрия. Алгебра и начала математического анализа, 11 класс, учебник для учащихся общеобразовательных организаций (углублённый уровень), Виленки . . .
Автор: Michael FitzGeraldНазвание: The Nazi Occult War: Hitler's Compact with the Forces of Evil Издательство: ArcturusISBN: 1782122141Год: 2013Формат: EPUBРазмер: 18,9 МБЯзык: АнглийскийКоличество ст . . .
Непреднамеренные последствия, Влияние обеспеченности факторами? производства, культуры и политики на долгосрочные экономические ?результаты, Дипак Лал, перевод с английского Даниловой Т. под ред. Куря . . .
Автор: Стаут РексНазвание: Право умереть. Серия «Весь Ниро Вулф». Выпуск 7Издательство: М.: ЦентрполиграфХудожественное оформление: Озеров И.А.Качество: Отсканированные страницы, OCR, хорошееISBN: 5-9 . . .
Математика, алгебра и начала математического анализа, геометрия. Алгебра и начала математического анализа, 10 класс, учебник для учащихся общеобразовательных организаций (углублённый уровень), Виленки . . .
Автор: Алексей Опарин.Название: В царстве пигмеев и каннибалов.Археологическое исследование книг Ездры и НеемииИздательство: Издательство «Факт»Год: 1999Формат: rtf Размер: 1.72 мбАлексей Опарин сост . . .
Автор: Викторук Е.Н., Черняева А.С.Название: Философия науки: история, методология, этикаИздательство: Красноярск: Красноярский государственный педагогический университет им. В.П. АстафьеваГод: 2015Фо . . .
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Справочная книга по математической логике, Часть 2, Теория множеств, Барвайс Д., 1982. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.