Авторизация
Поиск по указателям
Френкель А.А., Бар-Хиллел И. — Основания теории множеств
Обсудите книгу на научном форуме Нашли опечатку?
Название: Основания теории множествАвторы: Френкель А.А., Бар-Хиллел И. Аннотация: В ходе развития теории множеств, которая является основой построения большинства математических дисциплин, возникли чрезвычайно сложные проблемы непротиворечивости. Книга представляет собой наиболее полный из существующих обзор исследований, вызванных к жизни этой проблематикой; в ней описываются и сравниваются между собой все важнейшие системы аксиоматической теории множеств. Большое внимание уделено приложению идей и методов математической логики в различных направлениях исследований по основаниям математики (логицизм, интуиционизм, формализм).
Язык: Рубрика: Математика /Алгебра /Математическая логика /Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1966Количество страниц: 556Добавлена в каталог: 21.03.2005Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
Предметный указатель
345 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
Реклама
-непротиворечивость 
|
|
О проекте