Rosser J.B. - Simplified independence proofs. Boolean valued models of set theory :: Электронная библиотека попечительского совета мехмата МГУ

Документ взят из кэша поисковой машины. Адрес оригинального документа : http://lib.mexmat.ru/books/110604
Дата изменения: Unknown
Дата индексирования: Wed Apr 13 00:36:16 2016
Кодировка: Windows-1251

Электронная библиотека Попечительского совета
механико-математического факультета
Московского государственного университета

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

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

Rosser J.B. - Simplified independence proofs. Boolean valued models of set theory

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

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

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

Название: Simplified independence proofs. Boolean valued models of set theory

Автор: Rosser J.B.

Аннотация:

In mathematical logic, a Boolean-valued model is a generalization of the ordinary Tarskian notion of structure from model theory. In a Boolean-valued model, the truth values of propositions are not limited to "true" and "false", but instead take values in some fixed complete Boolean algebra.

Язык:

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

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

ed2k: ed2k stats

Издание: 1-st Edition

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Agreement set      see "Set"
Automorphism      27-31 34 43 44 53-55 57 89 98 105-107 118 132 165
AxC      see "Axiom of choice"
Axiom 2.1      12
Axiom 2.2      12
Axiom(s) of choice      2 3 81-88 105-115 178-181
Axiom(s) of constructibility      2 89-98
Axiom(s) of equality and extensionality      41-51
Axiom(s) of extensionality      65
Axiom(s) of infinity      69
Axiom(s) of null set      66
Axiom(s) of power set      72-74 182-201
Axiom(s) of regularity      74
Axiom(s) of replacement      72 203 209
Axiom(s) of restricted predicate calculus      34-41
Axiom(s) of sum set      67
Axiom(s) of unordered pairs      66
Basis set      see "Set"
Boolean algebra      20-27 34 37 38 89 102 103 106 118 132 158-165 210 211 213
Boolean algebra, complete      23-26 31 34 35 38 165
Boolean value      34-38 42-46 100 102-104 166-174
Boundedness restriction      131 132
Cantor's theorem      90 116 130 148
class      20 35 56 103 158 165 169 205
Closed set      see "Set"
Closure      13 162-164
Cohen combinatorial lemma      121 132-140
Combinatorial lemma      see "Cohen combinatorial lemma"
Complement      14 162 163
Complete Boolean Algebra      see "Boolean algebra"
Complete sequence      102 104
Condition      99 100 102 104 211
Continuum Hypothesis      3 116-126 211
Continuum hypothesis, generalized      2 3 90-92 106 127-201
Countable chain condition      31-33 78 80 118 119 121 122 132
Disjoint elements      31
Disjoint set      see "Set"

Eastern's theorem      127-131 145-155 201
Extensional function      44 45 52 54 55 63 81 83 108 150 155 173-175 177 206
Filter      31 34 43 44 54 55 57 81 82 84 87 89 105-107 118 132 165 174
Filter, strongly normal      31 34 107
GCH      see "Continuum hypothesis generalized"
Generalized Continuum Hypothesis      see "Continuum hypothesis"
Generic set      see "Set"
Image      62 94
Inaccessible cardinal      208-210
Infimum      24 28 34 35 38 39 47 164 165 169 173 210 213
Koenig's Theorem      128 129
Lower bound      24
Lusin      119
Minimal model      211
Open set      see "Set"
Rank      62-64
Regular      130 132 133 135 137 139
Regular open set      see "Set"
Scott core      59 61 62 94 110 167 174 187 194 196
Scott domain      59 61 62 94 110 167 174 187 194 196
Set      20 35 56 103 158 165 205 210
Set, agreement      133 136
Set, basis      12-15 20 26 28-30 32 33 89 91 99-101 106 110-112 121 122 132-139 141 148-151 158 160 162-164 170
Set, closed      14-16 21
Set, disjoint      31 32 80 122
Set, generic      99 103
Set, open      13-19 21 28 91 160 162
Set, regular open      17 18 21 25 26 28 34 91 164
Set, subbasis      20 29
singular      130 139
Statement      34-36 50 52 53 89 90 97-100 105 169-174
Strongly normal filter      see "Filter"
Subbasis set      see "Set"
Support      28-30 99 106 111 112 121 132 134-136 149
Supremum      23 24 26 28 29 34 38 104 111 112 164 165 170 172 173 174 210 213
Topological spaces      12-19 34
Upper bound      23 24 26 172 174
Weakly forces      100 103 104

О проекте