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

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

blank
blank
blank
Красота
blank
Френкель А.А., Бар-Хиллел И. — Основания теории множеств
Френкель А.А., Бар-Хиллел И. — Основания теории множеств



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



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


Название: Основания теории множеств

Авторы: Френкель А.А., Бар-Хиллел И.

Аннотация:

В ходе развития теории множеств, которая является основой построения большинства математических дисциплин, возникли чрезвычайно сложные проблемы непротиворечивости. Книга представляет собой наиболее полный из существующих обзор исследований, вызванных к жизни этой проблематикой; в ней описываются и сравниваются между собой все важнейшие системы аксиоматической теории множеств. Большое внимание уделено приложению идей и методов математической логики в различных направлениях исследований по основаниям математики (логицизм, интуиционизм, формализм).
Книга, снабженная обширным списком литературы, представляет ценность для математиков, занимающихся основаниями математики и связанными с ними вопросами математической логики, а также для философов и представителей других специальностей, имеющих отношение к методологическим проблемам математики.


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$\omega$-непротиворечивость      345
$\omega$-полнота      348 349
Aussonderungs axiom      55
BООT      135 331 332 350 354 386 393 431 462 504 517 520 530 531
Maзур      518
Urelement      42
Абиан      502
Авситидиски      263 423
Адам      502
Адамар      100 103 423 435 508
Аддисон      423 502
Адян      377 423 502
Айдукевич      207 208 209 471
Айер      30 423
Аккерман      29 30 34 36 42 48 59 121 161 215 222 234 270 275 283 363 370 373 378 387 393 394 423 435 471 502 514 519 525
Аксиома бесконечности      107 108 145 146 202—205
Аксиома выбора      65 и сл. 145 203 204 223 224
Аксиома выбора, частные случаи      68—72
Аксиома выделенная      55 145
Аксиома замещения      111 145
Аксиома множества-степени      51 145 146
Аксиома множества-суммы      51 145 146
Аксиома объединения      51 145 146
Аксиома объемности      48 140 141
Аксиома ограничения      115 192
Аксиома пары      50
Аксиома подстановки      111 145
Аксиома свертывания      172—175 182 188 211 229
Аксиома сводимости      188 189
Аксиома фундирования      118 145 146
Аксиома экстенсиональности      48 140 141
Аксиоматический метод      32 36—51 319 320
Александров П.С.      38 53 68 71 81 83 84 85 87 89 129 130 158 296 502 531
Александров, А.Д.      29 423
Алстон      402 423
Альбанезе      471
Альбергамо      29 248 471
Амброз      248 261 264 471
Анаксагор      298
Аналитическое множество      302
Андерсон      503
Андреоли      29 471
Антиномии      11—30 121—123 357 358
Антуан-Марсель      503
Аристотель      47 206 241 264 265 298
Арифметика n-го порядка      351
Арифметика Гильберта      352
Арифметика Пеано      351
Арифметика первого порядка      351
Арифметика рекурсивная      364
Арифметика Сколема      352
Арифметика элементарная      351
Арруда      503
Артин      78 90 471
Архимед      27 35 115
Ассер      135 423
Атомарная формула      42
Багемил      459 503 508 529
Байен      503
Балаш      503
Бальдус      247 471
Банах      101 102 114 423 470
Банашевский      93 423 503
Бар-Хиллел      5 24 29 30 206 207 209 233 424 472 495 500 505 518
Барбалат      439
Барзин      263 274 424 425 472 499
Баррау      247 472
Басилейу      30 472
Бахман, Г.      98 105 114 116 424
Бахман, Ф.      482
Безотрицательная (положительная) математика      287—292
Бейлис      270 472
Бек      529
Беккер, А.      267 424 472
Беккер, О.      29 106 248 249 253 270 277 293 296 424 472 496 498
Белинфанте      308 309 424 472
Беллинг      308 426
Белльюс      502
Бельтрами      318 355
Беман, Г.      25 29 30 36 373 424 472 473 496 502
Беман, У.У.      437 479
Бенеш      178 181 424 448
Беннеке      30 425
Бентли      248 473
Бергман, Г.      169 473
Беренс      30 473
Берецки      363 425
Бернайс      30 32 34 43 50 56 59 60 63 69 70 71 73 75 85 92 93 94 105 106 107 109 110 115 118 120 123 125 134 135 139 140—152 154 155 156 157 158 166 168 170 173 182 192 210 222 223 279 290 320 322 323 329 332 333 345 348 352 359 360 365 370 374 375 384 399 425 434 435 473 501 503 504 510 517 520 530 534
Бернштейн, Б.А.      356 473
Бернштейн, Ф.      20 29 67 79 248 473 484
Берри      21 138 240 425 473
Бесконечная индукция      334 368 369
Бет      23 29 30 135 136 217 247 248 257 270 279 289 299 300 322 332 337 356 379 403 425 473 504 528
Бетш      29 248 473
Биркгоф      93 275 276 332 426 452
Блакье      66 474
Блейхер      504
Блэк      13 29 248 267 426 435 464 469 473
Богословский      270 474
Бойяи, Я.      318
Бокстел      30 101 248 426
Болл      495
Больцано      26 30 76 89 106 107 191 259 308 474
Борджерс      46 426 504
Борель      30 79 86 100 101 191 248 249 297 426 445 472 474 476
Борковский      504 537
Борсан      502
Боуден      30 426
Бохенский      18 22 30 207 248 265 426 502
Бочвар      29 30 232 235 426 503
Браун, Г.Ч.      29 427
Браун, Д.Г.      427
Браун, С.      96 503
Брауэр, Л.Э.Я.      7 242—244 246—252 255 256 257 258 260 262 263 264 266—270 272 273—277 286 288 290 292 293 295 296 297 298 299 300 301 303 306 307 308 309 310 311 312 313 314 317 405 407 427 428 442 447 474 475 485 504
Брауэр, Р.      93
Брёккер      29 475
Бриджмен      195 247 475
Броден      29 30 475
Броди      226 465 466
Бронфман      504
Броуд      267 475
Брэйтуэйт      455 488 489 523
Булиган      29 101 247 428 475
Буль      331
Бун      377 505
Бурали-Форти антиномия      20 183
Буралн-Форти      12 14 16 19 20 30 101 122 128 183 428
Бурбаки      11 15 34 45 93 111 230 231 310 428 504 510
Бургер      505
Буркамп      29 248 267 270 475
Буркхардт      29 35 475
Бурштин      91 475
Бут      431
Бутру      244 475
Бэр Рейнгольд      35 68 90 91 96 114 161 428 464 469 476
Бэр Рене      314 505
Бюхи      93 428
Вавр      247 270 272 428 476
Вагнер      73 74 168 428 442 505
Вайдьянатхасвами      274 428
Вайсберг      275 277 428
Вайсман      189 429
Ваккарино      29 429
Вальпола      29 290 429
ван Влек      70 431
ван Данциг      197 217 249 251 285 287 288 289 290 291 292 294 306 309 311 315 437 479 488
Ван дер Варден      27 90 263 305 430 476 498
Ван дер Корпут      307
ван Ос      29 270 488
ван Роотселаар      308 309 457 515 525
ван Хорн      65 497
Ван, Хао      5 29 32 46 50 57 60 108 112 116 118 122 123 124 131 133 134 135 136 137 139 143 150 152 154 155 157 180 181 183 185 189—197 209 210 217 221 223 229 341 344 345 346 347 349 350 353 354 361 369 382 384 385 388 389 390 391 397 429 444 457 503 514
Вандивер      305 307 430
Варрен      29 476
Васильев      270 476
Вебер      293 476
Веблен      116 349 476
Вегель      35 430
Ведберг      30 430
Вейерштрасс      27 76 89 191 238 308 309 523
Вейль      15 29 30 46 188 240 247 248 261 287 292 294 295 296 297 298 301 307 311 430 476
Вейнберг, Дж.Р.      30 476 495
Вейсс      26 233 430 488
Вермус      504
Весли      511
Винан      30 476
Винер, Н.      165 177 477
Винер, П.      440
Виола      68 477
Вирье-Реймон      см. Ант. Реймон
Висье      249 430
Витгенштейн      30 218 365 407 430
Витт      93 263 431
Включение, включает, включено      46
Влечет      46
Волленховен      249 267 477
Вольф      247 477
Вопенка      136 154 506
Воробьев      502
Воэм      93 431
Вполне упорядочения принцип      73 93—96
Вполне упорядочения теорема      73 93—96
Вполне упорядоченное множество      166
Вуйлемен      495
Вундхейлер, А.      207 431
Вундхейлер, Л.      207 431
Вычислимость по Тьюрингу      361
Гал      см. Новак
Галилей      298
Галлуччи      29 431
Галперн      506
Галуа      74
Гальперин      43 60 181 223 431 506
Гамбург      502
Ганди      63 141 431 506 526
Гао Хен-чан      506
Гарсиа      248 431 477
Гартман      270 477
Гарцхейм      506
Гастев      157 506
Гаупт      244 477
Гаусс      307
Гвардини      498
Гейманс      250
Геймонат      29 431 464
Гейне      191
Гейнеман      248 477
Гейтинг      8 247 263 274 275—278 289 290 292 297 304 305 309 310 311 313 314 315 316 379 411 432 436 465 477 478 495 506 510 512 522 534
Генкин      135 136 137 155 180 184 229 278 281 331 332 337 345 346 347 349 350 352 375 386 401 402 431 432 433 507 517
Генцен      217 223 277 278 279 287 289 295 370 371 387 433
Герман      444
Германский      507
Гермес      8 29 93 135 137 172 194 224 254 329 343 346 363 371 375 385 433 437
Гессенберг      29 161 433 478
Гефмен      507
Гёделевский номер      359
Гёдель      29 32 33 50 63 67 71 75 93 105 112 114 117 119 120 121 133 134 135 136 139 141 143 149 150—157 173 178 190 192 200 204 213 220 233 277 278 279 280 281 285 322 339 342 345 346 347 353 358 360 364 365 366 368 369 370 371 374 375 384 391 393 396 404 408 412 413 414 432 433 434 468 477 503 504 507 519 522 524 531 533
Гёделя теорема о неполноте      364
Гёделя теорема о неполноте, следствие      370
Гёделя теорема о полноте      135 346
Гёльдер      29 248 259 294 296 297 478 507
Гжегорчик      206 225 226 301 363 375 434 451 507
Гийом      507
Гилмор      217 290 291 434 437 507
Гильберт      15 20 29 30 35 43 48 69 70 78 83 93 103 109 115 119 125 135 150 153 155 215 222 223 224 247 252 271 273 275 280 283 295 318 319 320 321 322 329 331 332 333 335 343 345 348 352 355 357 359 360 363 364 365 369 370 373 375 404 408 410 423 425 434 435 473 478 501 507
Гич      13 29 30 435 464
Гливенко      263 275—277 281 285 435
Гобсон      29 30 80 478
Годдар      365 435
Гонсет      30 35 36 248 435 476 478 508
Горак      29 479
Гордан      252 307
Горн      508
Готшальк      93 435
Гофман      270 435
Гребе      29 435
Грегори      30 435
Греллинг      16 21 29 30 43 150 235 436 452 479
Греллинга антиномия      21 22 235
Гриз      436
Гринвуд      256 479
Грисс      287 289 290 291 310 436
Грюнбаум      27 436
Грюнвальд      522
Гудмен      165 399 400 401 405 436 444
Гудстейн      29 224 247 270 309 363 400 407 408 409 436 508 531
Гумин      224 433 437
Гуревич      96
Гуссерль      206 261 479
Гутри      30 479
Гутцмер      245 479
да Коста      501 512
Даламбер      27
Данжуа      30 69 86 100 101 248 437 479 508
Дассен      29 248 263 479
де Бансель      265 423 491
де Беньи-Пивайе      493
де Боргар      493
Де Брейн      504
де Ион      249 439
де Лагуна      486
де Лоор      307 428 447 474 485
де ля Валле-Пуссен      126
де Поссель      524
де Суа      349 437
де Чезаре      29 438
Девиде      109 437 508
Дедекинд      13 15 31 87 106 107 110 125 131 150 349 352 437 479 508
Дезарг      310
Дейкман      308 437 480 508
Деккер      363 437 508
Декуа      290 310 437
Ден      298 480 488
Дессуар      26
Детловс      363 437 500 502
Детуш, Ж.Л.      236
Детуш-Феврие, П.      236 276 278 290 436 437 438 439 493
Джозеф      490
Джонстоун      501
Джорджи      34 438 480
Диада (пара), k-ада (k-ка, n-ка)      142—144
Дизъюнкция      38
Дииз, П.      247 480
Дииз, Ц.П.      255 438
Дик      29 480
Динглер      29 30 75 195 480
Дирихле      242
Долькер      438
Досс      74 86 438 509
Дребен      346 438
Дрезден      247 263 480
Дросте      247 480
Дубислав      29 248 294 480 481
Думитриу      29 481
Думметт      509
Дьедонне      248 438
Дьюи      270 349 438 481
Дэвис, X.Т.      240 481
Дэвис, М.      361 363 376 438 507
Дэвис, Р.О.      508
1 2 3 4
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте