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

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

blank
blank
blank
Красота
blank
Йех Т. — Теория множеств и метод форсинга
Йех Т. — Теория множеств и метод форсинга



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



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


Название: Теория множеств и метод форсинга

Автор: Йех Т.

Аннотация:

В книге изложены аксиоматическая теория множеств и методы доказательства совместимости утверждений теории множеств: метод Гёделя, метод форсинга Коэна, метод булевозначных моделей, метод Френкеля — Мостовского. При помощи этих методов строятся модели для многих известных гипотез теории множеств: обобщенной континуум-гипотезы, отрицания континуум-гипотезы, отрицания аксиомы выбора, гипотезы Суслина и ее отрицания и т. д. Книга не требует предварительных знаний аксиоматической теории множеств и доступна широкому кругу математиков.


Язык: ru

Рубрика: Математика/Алгебра/Абстрактная алгебра/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$\in$-изоморфизм      30
Абсолютная операция      26
Абсолютная формула      26
Абсолютность кардиналов      66
Абсолютность конфинальности      66
Автоморфизм      77
Автоморфизм булевозначного универсума      88
Аксиома выбора      20
Аксиома конструктивности      39
Аксиома Мартина      101
Аксиомы ZF      8—11
Аксиомы ZFA      122
Алгебра борелевских множеств      85
Алгебра булева      51
Алгебра булева полная      52
Алгебра Леви      74
Алгебра однородная      78
Алгебра смещения      74
Алгебра счетно порожденная      77
Алефы      16
Антицепь      94
Антицепь максимальная      97
Атомы      122
Булевозначный универсум      57
Булевы значения      57
Ветвь      93
Вложение      12 77
Вложение элементарное      49
Вынуждающие условия      56
Вынуждение      64
Выполнимость      25
Генерическое расширение      61
Гёделевские операции      33
Гипотеза Суслина      93
Гомоморфизм      12 77
Гомоморфизм естественный      54
Гомоморфизм полный      77
Дерево      93
Дерево Ароншайна      93
Дерево нормальное двоичное      96
Дерево Суслина      94
Дерево Суслина нормальное      94
Замыкание      37
Замыкание транзитивное      25
Значимая формула      58
Идеал      55
Идеал главный      55
Изоморфизм      12 77
Имя      61
Интерпретация      61
Каноническое вполне-упорядочение $\omega_a\times\omega_a$      16
Кардинал      15
Кардинал недостижимый      40
Кардинал недостижимый слабо      17
Кардинал предельный      17
Кардинал регулярный      16
Кардинал сингулярный      16
Класс      7
Класс замкнутый относительно операции      27
Класс определимый      7
Класс собственный      8
Класс универсальный      8
Класс универсальный почти      28
Класс экстенсиональный      26
Коды борелевских множеств      82
Континуум Суслина      93
Континуум-гипотеза      19
Континуум-гипотеза обобщенная      24
Конфинальность      16
Множество $\mathfrak M$-генерическое      56
Множество F –генерическое      101
Множество бесконечное      18
Множество борелевское      83
Множество вполне упорядоченное      12
Множество единичное      8
Множество конечное      18
Множество конечное по Дедекинду      18
Множество конструктивное      37
Множество ординально определимое      46
Множество ординально определимое наследственное      47
Множество открыто-плотное      69
Множество плотное      53
Множество плотное ниже      103
Множество симметрическое      116
Множество симметрическое наследственно      116
Множество совершенное      112
Множество упорядоченное      12
Множество упорядоченное частично      12
Модель      25
Модель ZF      29
Модель исходная      55
Модель Френкеля — Мостовского      123
Мощность континуума      19
Ординал      12
Ординал последующий      13
Ординал предельный      13
Относительная конструктивность      43
Относительная непротиворечивость      29
Отношение      10
Отношение правильно построенное      31
Отношение экстенсиональное      31
Пара неупорядоченная      8
Пара упорядоченная      8
Подалгебра      77
Подалгебра порожденная      88
Пополнение      19
Последовательность      14
Принцип $\in$-индукции      25
Принцип вполне-упорядочения      20
Принцип зависимого выбора      81
Принцип индукции      14
Принцип максимальности      20
Принцип отражений      32
Продолжение дерева      93
Произведение декартово      10 21
Произведение кардиналов      15 21
Прямой предел алгебр      106
Разбиение      55 60 76
Ранг      24 57 123
Сечение      53
Сечение дедекиндово      19
Сечение регулярное      53
Симметрическое расширение      117
Совместимые элементы      52
Сумма кардиналов      15 21
Сумма множества      9
Сумма ч. у. множеств      70
Теорема о вложении      125
Теорема об изоморфизме      30 31
Трансфинитная рекурсия      14
Ультрастепень      48
Ультрафильтр      48 54
Ультрафильтр $\mathfrak M$-генерический      55
Ультрафильтр канонический генерический      61
Ультрафильтр счетно полный      50
Ультрафильтр тривиальный      50
Упорядочение (линейное)      12
Упорядочение отделимое      52
Упорядочение плотное      19
Упорядочение полное      19
Упорядочение частичное      12
Условие k-цепное      68
Условие счетности цепей      68
Фильтр      54
Фильтр F-полный      62
Фильтр нормальный      116 123
Цепь      20
Число действительное      19
Число кардинальное      21
Число Соловея      85
Число Соловея каноническое      87
Число Хартогса      15
Элемент симметрический      123
Элемент симметрический наследственно      123
Элементарная эквивалентность      48
Ядро      123
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2023
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте