Барвайс Д. — Справочная книга по математической логике. Часть 2: теория множеств :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Барвайс Д. — Справочная книга по математической логике. Часть 2: теория множеств

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

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

Название: Справочная книга по математической логике. Часть 2: теория множеств

Автор: Барвайс Д.

Аннотация:

Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.

Язык:

Рубрика: Математика/Справочники/

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

ed2k: ed2k stats

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

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

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

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

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

$E(\varkappa)$ ЧУ множество ( $E(\varkappa)$ PO set)      136
$W(\varkappa)$ ЧУ множество ( $W(\varkappa)$ PO set)      133
$\alpha$ -пара ( $\alpha$ -pair)      169
$\Gamma$ -детерминированность ( $\Gamma$ -determinacy)      263
$\Gamma$ -лестница ( $\Gamma$ -scale)      266
$\Gamma$ -отделимость ( $\Gamma$ -separation)      284
$\Gamma$ -предупорядочение ( $\Gamma$ -prewellordering)      249
$\Gamma$ -редукция ( $\Gamma$ -reduytion)      248
$\Gamma$ -униформизация ( $\Gamma$ -uniformization)      257
$\Gamma_1, \Gamma_2$ -униформизация ( $\Gamma_1, \Gamma_2$ -uniformization)      257
$\lozenge (\varkappa)$ ЧУ множество ( $\lozenge (\varkappa)$ PO set)      139
$\omega$ -модель      335
$\pi$ -база ( $\pi$ -base)      214
$\pi$ -вес ( $\pi$ -weight)      214
$\pi$ -характер ( $\pi$ -character)      214
$\square (\varkappa)$ ЧУ множество ( $\square (\varkappa)$ PO set)      134
$\theta, \lambda$ -дерево ( $\theta, \lambda$ -tree)      130
$\varkappa$ -гипотеза Курепы ( $\varkappa$ -Kurepa hypothesis)      127
$\varkappa$ -дерево ( $\varkappa$ -tree)      180
$\varkappa$ -дерево Ароншайна ( $\varkappa$ -Aronszain tree)      78
$\varkappa$ -дерево Курепы ( $\varkappa$ -Kurepa tree)      127
$\varkappa$ -дерево Суслина ( $\varkappa$ -Souslin tree)      80
$\varkappa$ -условие антицепей ( $\varkappa$ -YA) ( $\varkappa$ -antichain condition)      120
Bоот      199
L-пространство (L-space)      227
Аартс      214 233
Абрамсон      98
Адамар      278
Аддисон      6 236 258 260 262 264 266 270 284 299 301 311—313 360
Аксиома бесконечности (infinity axiom)      14
Аксиома выбора (axiom of choice)      24 35 37
Аксиома выбора (axiom of choice) счетная (countable)      48 294
Аксиома выделения (separation axiom)      13
Аксиома детерминированности (axiom of determinateness, determinacy)      62 269
Аксиома зависимого выбора (axiom dependent choices)      49 294
Аксиома измеримого кардинала (МС)      261
Аксиома конструктивности (axiom of constructibility)      168
Аксиома Мартина (Martin’s axiom, MA)      147 201
Аксиома объединения (union axiom)      14
Аксиома объемности (extensionality axiom)      13
Аксиома подстановки (replacement axiom)      14
Аксиома проективной детерминированности (axiom of projective determinacy)      263
Аксиома регулярности (regularity axiom)      15
Аксиома степени (power set axiom)      14
Аксиома, непротиворечивая относительно системы (axiom consistent relative to a system)      49
Александров, П.С.      236 252 275 277—279 360
Антицепь (antichain)      80 109 180
Антицепь максимальная (maximal antichain)      109
Антицепь ниже p (antichain below p)      109
Ароншайн      78—81 89—91 94 180 182 209 211
Арсенин, В.Я.      277
Атом (atom)      53
База фильтра регулярная (regular filter base)      214
Базис (basis)      257
Банах      42 44 45 48 68 97 263
Бар-Хиллел      36 63
Барвайс      12 93 97
Баумгартнер      82 96 97 209
Бендиксон      236
Берджес      5 8 99 295 360
Бернштейн      44 226
Бертран      60
Бласс      59
Блекуэлл      263 264 271
Борель      70 236 275 278
Бул      63
Бэр      58 62 71—73 202 207 212 214 236 237 252 253 259 261 262 269 275 277 279
Валле-Пуссен      275
Вейерштрасс      40
Вейсс      217 233 234
Ветвь (branch)      180
Витали      42 43 58 236 280 281
Высота (height)      75
Галвин      84 97
Гаусс      36
Гейл      262 263 276
Гермес      36
Гёдель      5—8 33 40 49 50 71 96 99 128 143 166 158 160 169 171 173 200 235 250 262 271
Гильберт      38
Гипотеза континуума (континуум-гипотеза) (continuum hypothesis)      69 103 235
Гипотеза континуума обобщенная (generalized continuum hypothesis)      103
Гипотеза Суслина (Souslin hypothesis)      72 179
Гипотеза Суслина обобщенная (generalized Sauslin hypothesis)      182
Гитик      60
Гливенко, В.И.      286 293 360
Гордан      36
Граф (graph)      85 197
Граф полный (complete graph)      85
Граф пустой (empty graph)      85
Грегори      186
Даукер      220 224
Девис      262 263 269 271
Девлин      5 8 71 72 75 97 157 158 180 185 186 194 196 199 200 225 228 233
Дедекинд      72 179
Дерево (tree)      75 104 180
Дерево Ароншайна (Aronszajn tree)      78 180 209
Дерево полное A-арное (complete A-агу tree)      75
Дерево Суслина (Suslin, Souslin tree)      80 180 203
Длина отношения (length of relation)      244
Дрейк      93 97
Евклид      35 60
Замыкание транзитивное (transitive closure)      174 300
Истон      82 97 146 147 156
Йенсен      8 71 72 79 82 94 136 137 171 180 182 183 185 186 194 195 199 200 220 225 228 233 301 317 351 352 358—360
Йех      6 7 35 43 56 60 63 81 97 132 156 161 273 349 356 360
Канамори      95 98
Кановей, В.Г.      273 295 298 317 318 351 359 360
Кантор      36 37 44 235 236
Канторович, Л.В.      277
Кардинал (cardinal)      25 26 65 103
Кардинал измеримый (measurable cardinal)      98 261
Кардинал компактный Мало сильно/слабо (strongly/weakly Mahlo cardinal)      93
Кардинал компактный сильно (strongly compact cardinal)      96
Кардинал компактный слабо (weakly compact cardinal)      93
Кардинал невыразимый (ineffable cardinal)      96
Кардинал недостижимый сильно/слабо (strongly/ weakly inaccessible cardinal)      92 103
Кардинал предельный сильно/слабо (strongly/weakly limit cardinal)      92 103
Кардинал Рамсея (Ramsey cardinal)      96
Кардинал регулярный (regular cardinal)      65 103
Кардинал сингулярный (singular cardinal)      65 103
Карп      171 200
Картан      278
Квантор (quantifier)      12 100
Квантор ограниченный (bounded quantifier)      105
Кекрис      235 263 272 278
Келдыш, Л.В.      277 278 293 297 363
Келли      44
Кёниг      77 78 89 91 280
Класс (class)      28
Класс двойственный (dual class)      239
Класс самодвойственный (self-dual class)      239
Класс собственный (proper class)      28
Класс точечный (point class)      238
Клейнберг      63 87 97 98
Клини      236 253 255—257 271
Код стандартный (standart code)      187
Код формулы      304
Козлова, З.И.      277
Колмогоров, А.Н.      277
Кондо      61 258 266 275 271 278 292 312 361
Конституанта (constituante)      282 332
Континуум Суслина (Souslin line)      72
Конфинальность (confinality)      65 103
Коэн      7 8 51 55 58 61 62 99 102 109 118 122 156 235 271 273 361
Кривая      286
Куратовский      45 251 273 275 278 284 285 361
Курепа      127 128 130—132 139 144 157 199 200 232 233
Кюнен      5 8 64 94 95 97 195 217 224 232—234 267—269
Лаврентьев, М.А.      277
Лаплас      64

Лебег      34 49 58 62 70 96 97 208 209 236 241 252 271 274 275 278 280 286 299 319 361
Леви      35 57—59 97 105 108 143 156 273 274 277 297 319 320 333 335 336 338 342 343 346 348 349 361
Лейбниц      64
Лемма Кёнига (Kunig lemma)      77
Лемма о конденсации (condensation lemma)      171
Лемма об истинности (truth lemma)      113
Лемма об определимости (definability lemma)      113
Лемма существования и минимальности (existence and minimality lemma)      111
Лемма Цорна (Zorn lemma)      27 45
Лёвенгейм      67 102 199 215
Лёйхли      58
Ливенсон, Н.М.      277
Лузин, Н.Н.      70—72 97 236 242 243 252 258 271 274—276 278 280—287 292 294—296 318 320 330 361 362
Любецкий, В.А.      299 307 308 320 321 331 362
Лютцер      214 233
Ляпунов, А.А.      277 278 285—287 362
Майхил      342 362
Мало      93 94
Малыхин, В.И.      218 233
Манин, Ю.И.      157
Мартин      5 6 8 63 70 72 99 147 153 157 195 201 203 208 212—214 217 219 220 233 235 261—264 267—269 272 351 354 362
Марчевский      121 156
Мате      92 98
Матиас      317 362
Менсфилд      261 272 299 307 320 327 362
Миллер      180
Митчелл      63 79 97
Множества почти дизъюнктные (almost disjoined sets)      82
Множества почти изоморфные      334
Множества равномощные (equinumerous sets)      25
Множество $\alpha$ -коэновское ( $\alpha$ -Cohen set)      119
Множество $\sideset{^\omega}{}{\mathrm{On}}$ -определимое      342
Множество $\varkappa$ -дистрибутивное ( $\varkappa$ -distributive set)      123
Множество $\varkappa$ -замкнутое ( $\varkappa$ -closed set)      123
Множество $\varkappa$ -куреповское ( $\varkappa$ -Kurepa set)      128
Множество $\varkappa$ -свертывающее ( $\varkappa$ -collapsing set)      142
Множество $\varkappa$ -суслинское ( $\varkappa$ -Souslin set)      267
Множество (set)      9—12
Множество аналитическое (analytical set)      256
Множество арифметическое (arithmetical set)      256
Множество борелевское (Borel set)      239
Множество генерическое (generic set)      110
Множество генерическое над $\Omega$ -моделью (generic over $\Omega$ -model)      335
Множество дедекиндово (Dedekind set)      54
Множество детерминированное (determined set)      263
Множество допустимое (admissible set)      177
Множество замкнутое (closed set)      65 103
Множество замкнутое неограниченное (з. н. о.) (closed and unbounded set, с. u. b.)      65 103
Множество измеримое (measurable set)      252
Множество конструктивное (constructible set)      100
Множество конструктивное относительно множества (constructible relative to a set)      300
Множество Лузина (Luzin set)      70
Множество наследственно $\sideset{^\omega}{}{\mathrm{On}}$ -определимое      342
Множество наследственно ординально определимое (hereditabily ordinal definable set)      51
Множество наследственно финально плотное (НФП) (hereditarily finely dense set)      225
Множество однозначное (uniform set)      288
Множество однородное (homogeneous set)      86 195
Множество определимое (definable in/over set)      165 166
Множество определимое с параметрами (definable with parameters set)      169 165
Множество основное (underlying set)      109
Множество открытое (open set)      109
Множество первой категории (set of first category)      252
Множество плотное (dense set)      109 201
Множество плотное ниже p (dense below p set)      109
Множество попарно несовместимое (palrwise incompatible set)      201
Множество проективное (projective set)      242
Множество свободное (free set)      198
Множество совершенное (perfect set)      76 252
Множество совместимое (compatible set)      201
Множество стационарное (stationary set)      66 104
Множество счетнозначное      286
Множество точечное (point set)      238 254
Множество транзитивное (transitive set)      19
Множество универсальное (universal set)      240
Множество фундированное (grounded set)      15
Множество частично упорядоченное (ЧУ) (partially ordered (PO) set)      109
Множество частично упорядоченное нормализованное (normalized)      148
Модель исходная (ground model)      51 111
Модель конструктивная (constructible model)      50
Модель Леви — Соловея вторая      349
Модель Леви — Соловея первая      335
Модель пермутационная (permutation model)      52
Модель полученная присоединением к исходной модели (obtained by adjoining to the ground model)      111
Модель симметрическая (symmetric model)      54
Модель стандартная транзитивная (СТМ) (standart transitive model STM)      102
Модель теории ZFC (model of ZFC)      102
Модель Френкеля — Мостонского (Fraenkel — Mostowski model)      52
Московакис      236 237 238 251 264 266 267 269 270 272 297 299 362
Мостовский      52—57 60 273 284 331 361
Мощность (cardinality)      26 65 103
Мычельский      262 263 269 272
Новиков, П.С.      61 236 251 258 260 266 271 274—278 284—286 291—293 295 297 299 301 306 312 313 318 320 362 363
Ньютон      64
Ординал (ordinal)      10 103
Ординал допустимый (admissible ordinal)      178
Ординал конечный (finite ordinal)      103
Ординал недостижимый (inaccessible ordinal)      32
Ординал предельный (limit ordinal)      103
Ординал регулярный (regular ordinal)      190
Осташевский      220 224 233
Отношение рекурсивное (n) (recursive (In) relation)      253 254
Отношение фундированное (wellfounded relation)      244
Пара неупорядоченная (unordered pair)      104
Пара упорядоченная (ordered pair)      17 104
Параметр стандартный (standart parameter)      187
Пеано      18 36
Пинкус      57 58 60
Подграф (subgraph)      85 197
Поддерево (subtree)      75
Подпорядок (suborder)      109
Поспишил      76 89 219
Праэлемент (urelement)      10 53
Предикат, абсолютный для класса (absolute for a class)      166
Предложение невыводимое (Independent sentence)      7
Предложение совместимое (consistent sentence)      7
Прикры      82
Принцип абсолютности      305
Принцип зависимого выбора (principle of dependent choices)      49
Принцип лестницы (principle of scale)      269
Принцип ограничения      283
Принцип отделимости (separation principle)      284
Принцип предупорядочения (prewellordering principle)      249
Принцип редукции (reduction principle)      248
Принцип селектора (selector principle)      294
Принцип сравнения индексов      251
Принцип униформизации      258
Проблема континуума узкая      350
Проектум (projectum)      187
Проекция (projection)      242 288
Пространство $\pi$ -полное ( $\pi$ -complete space)      214
Пространство $\varkappa$ -бэровское ( $\varkappa$ -Baire space)      214
Пространство Бэра (Baire space)      237
Пространство сильно беровское (strongly Baire space)      214
Пространство совершенное польское (perfect Polish space)      237
Путь сквозь дерево (path through a tree)      77 104
Радо      48 87 88 92 98
Разбиение (partition)      86 195
Разбиение Рассела (Russell partition)      196
Рамсей      8 85—87 95 96 210
Ранг (rank)      104
Раньше (before)      11
Раскраска (colouring)      197
Рассел      10 41 55 196
Ребро (edge)      197
Рейнгардт      95 98
Ретракция (retraction)      150
Роджерс      287 363
Рудин      5 8 81 97 201 220 224 233 234
Сагеев      59
Сверчковский      262 263

1 2

О проекте