Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Mostowski A. — Constructible sets with applications
Mostowski A. — Constructible sets with applications



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Constructible sets with applications

Автор: Mostowski A.

Аннотация:

The present book was originally planned as a companion volume to the above mentioned work. In the course of the writing it I realized, however, that it would not be convenient to base the exposition on the Zermelo-Fraenkel type of axioms adopted in the earlier book. It proved especially difficult to arrange the exposition of metaathematical results without using the notion of classes, which we had avoided in the book on the "classical" parts of set theory. I changed therefore to a stronger system, in which classes were allowed, and decided to present results concerning the Zermelo-Fraenkel set theory on the basis of Morse's theory of classes. It is debatable whether it would not have been wiser to present the meta-mathematical results concerning the Gddel-Bernays set theory on the basis of the same theory or perhaps even on the basis of a finitary meta-mathematics. I believe that there are advantages and disadvantages in each of these approaches. The advantage of basing the exposition on Morse's axioms is that the consistency of the Zermelo-Fraenkel set theory and the existence of its well-founded models are provable and need not be assumed as hypotheses.


Язык: en

Рубрика: Математика/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1969

Количество страниц: 273

Добавлена в каталог: 21.10.2014

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте