Авторизация
Поиск по указателям
Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137.
Обсудите книгу на научном форуме Нашли опечатку?
Название: Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137.Автор: Suppes P.(ed.) Аннотация: This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.
The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.
Язык: Рубрика: Математика /Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1998Количество страниц: 821Добавлена в каталог: 05.03.2014Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
Предметный указатель
Negative translation 66 67 338 341 342 355 370 392 766 Neighbourhood Function 426 Nelson, D. 469 Nelson, E. 81 98 99 114 118 137 146 583 634 Nelson, G. 690 782 Nelson, R.J. 768 782 Nepomnjascii, V.A. 99 146 Nerode, A. 766 781 782 Niiniluoto, I. 784 Nivat, M. 779 No-counterexample interpretation 54 340 355 362 Node 221 478 Nolin, L. 774 784 Non-logical symbols 81 Non-schematic theory 117 Nordstrom, B. 691 724 782 Norm 242 Norm function 201 Norm, 216 normal 498 499 Normal form 358 Normal function 212 Normal modal logic 477 Normalizable 358 Normalization 17 Normalizing 358 Nullstellensatz 603 Number Theory, NT 232 see Number Theory, NT, second-order, 271 Numeral 81 116 119 220 409 Numeralwise Representability 113 Numerate 504 NUPRL 722 O'Donnell, M.J. 460 468 774 775 O'Leary, J. 712 783 Oberschelp, W. 544 Object 757 Object assignment 28 Object-Oriented Programming 758 Occurs check 60 Odifreddi, P. 401 402 404 776 One-way function 617 Ong, C.-H.L. 465 Ontological axiom 216 217 Operations, Hereditarily Effective 431 Operations, Hereditarily Recursive 430 Operator 300 Operator controlled derivable 301 Operator controlled derivation 253 254 300 Oppen, D. 690 782 Optimal propositional proof system 626 Oracle 106 Order type, otyp 212 221 222 288 Ordered pair 696 Ordinal 210 280 see Ordinal analysis 229 230 Ordinal analysis for set theories 321—331 Ordinal analysis of NT 240 Ordinal analysis, 219 Ordinal analysis, 229 Ordinal analysis, 247 Ordinal analysis, profound 263 Ordinal arithmetic 156 193 Ordinal notation 495 see Ordinal of a formula, 260 Ordinal of a formula, 229 Ordinal of a theory, 228 Ordinal of a theory, 216 Ordinal of a theory, 217 219 Ordinal of a theory, 216 Ordinal of a theory, 228 Ordinal of a theory, 229 Ordinal of a theory, table of impredicative theories 332 Ordinal operator 300 Ordinal sum 212 Ordinal term 308 Ordinal terms 308 Orevkov, V.P. 577 629 634 Orey sentence 531 Orey set 531 Orey, S. 503 507 531 543 545 Output argument 665 Output variables 665 Overbeek, R. 77 786 Owre, S. 691 783 Pacholski, L. 205 545 Padoa, A. 74 Pairing 70 423 429 445 Pairing axioms 177 216 279 Palmgren, E. 268 334 692 745 766 768 783 Panangaden, p. 745 776 782 Papadimitriou, C.H. 133 145 Parameter variable 33 Parameters, 258 300 Paramodulation 63 Parentheses, omitting 5 26 Parikh provability 495 Parikh's theorem 87 112 Parikh, R. 74 87 98 99 102 112 146 472 496 544 545 552 554 568 571 577 628 629 635 776 Paris, J.B. 80 84 98 114 122 126 134 136—139 143 146 147 153 190—192 205 545 621 629 635 Parsons, C. 84 111 123 134 136 146 175 189 206 339 340 362 404 405 Partial combinatory algebra 424 Partial continuous application 426 Partial Continuous Operations (PCO) 426 Partial equivalence relation (per) 719 745 746 748 Partial recursive 172 Partial recursive in an ordinal 217 Partial Recursive Operations (PRO) 424 Partial type 759 Pascal 754 Paterson, M.S. 61 77 Path 221 Paulin-Mohring, C. 691 692 754 762 776 783 Paulson, L.C. 691 783 Peano arithmetic 84 175 231 352 721 see Peano, G. 31 46 77 80 84 94 95 97 101 122 126 144—147 153 175 199 204—206 231 242 247 261 340 341 359 360 366 399 487 492 494 495 542—546 571—573 582 628 721 Persistence 170 Persistency, downwards 301 Persistency, upwards 301 Peter, R. 189 206 242 Petersson, K. 691 724 782 Petkov, P.P. 147 544—546 636 Pfeiffer, H. 334 468 781 Pfenning, F. 679 681 Phoa, W. 470 Pianigiani, D. 528 544 Pingali, K. 775 Pinning down 267 Pitassi, T. 599 603 605 607 616—618 621 630 631 635 Pitt, D.H. 783 Pitts, A.M. 441 451 457 465 470 783 Platek, R. 290 334 Plisko, V.E. 459 460 470 Plotkin, G. 471 757 759 766 768 773 778 783 Podewski, K.-P. 334 468 781 Pohlers, W. 80 126 146 153 164 199 204 210 227 253 254 266—268 270 300 333 334 392 401 463 Poigne, A. 783 POINTER 760 Poll, E. 692 783 Pollack, R. 691 767 783 Pollett, C. 74 143 Polymodal logic 491 495 Polymorphic 393 715 745 Polymorphic 394 Polymorphism 393 Polynomial calculus 604 Polynomial growth rate 98 100 Polynomial Local Search (PLS) 133 134 Polynomial Local Search (PLS), PLS function 133 Polynomial size tree (pst) proof 564 Polynomial time 103 104 106 Polynomial time hierarchy 105—108 Polynomially equivalent 552 Polynomially numerates 578 Polynomially simulates 552 Ponse, A. 546 Positive clause 19 Positive formula 643 Positive occurrence 15 282 Positive resolution 22 Post, E.L. 729 Powell, W. 445 Power type 445 Prawitz, D. 47 77 144 204 398 404 554 635 723 766 784 Predecessor 89 423 733 Predecessor, immediate n-predecessor 154 Predecessor, n-predecessor 154 Predicate provability logic 531 Predicative 268 Predicative Elimination Lemma 237 302 Predicative polymorphism 394 398 Predicativity 267 Prenexification 51 Presburger, M. 628 Prime powers 90 PRIMES 90 Primitive notion, PN 721 Primitive recursion 82 96 733 Primitive recursive 175 189 219 363 364 Primitive recursive arithmetic see "Arithmetic" Primitive recursive function 82 96 Primitive recursive function, defining equations 82 Primitive recursive predicate 96 Primitive recursive well ordering, PRWO 264 Principal formula 12 46 110 112 see Principal term 308 Probabilistically checkable proofs 550 Product topology 9 373 Product type 429 739 Profound 263 Program clause 649 Program rules 656 Program rules, stratified 660 Programs as deductive systems 655 Programs as theories 655 Progressive 187 Progressive, Prog 225 238 286 Projection 70 96 103 PROLOG 64 668 proof 550 Proof by contradiction 707 Proof equality 723 Proof expression 708 Proof predicate 116 263 476 498 499 Proof system, associated to theory 624 Proof system, cutting plane 604 Proof system, extension Frege 592 Proof system, Frege 5—10 591 Proof system, Frege, bounded depth 599 Proof system, Groebner 604 Proof system, Hajos calculus 601 Proof system, Hilbert style 29 553 Proof system, Nullstellensatz 603 Proof system, polynomial calculus 604 Proof system, propositional 550 Proof system, propositional, optimal 626 Proof system, propositional, quantified 600 Proof system, resolution 18—26 59—64 598—599 see Proof system, substitution Frege 591 Proof theoretic ordinal 228 see Proof, sequence-like (dag-like) 13 551 Proof, tree-like 13 550 Proofs as programs 679 754 Proposition 694 Proposition, category Prop 694 695 Propositional function 695 Propositional logic see "Frege system" "Proof "Quantified "Resolution" Propositional logic and bounded arithmetic 619 Propositional rule 11 710 Propositional theory 484 485 Propositions as types 724 752 Proto-effective 453 Proto-effective, canonically 453 Provability logic 476 487 489 491 492 Provability predicate 116 Provably recursive 87 173 199 202 248 353 354 364 370 498 see Provably recursive in PA 189 253 362 Provably recursive in T (ProvRec(T)) 173 Provably total 498 587 see Prover-Adversary game 596 Pudlak, P. 54 76 80 98 108 118 131—133 138 143 145 146 190 205 497 543 562 563 568—571 573 574 581 582 584 585 589 590 593 594 599—601 605 607 614 616—619 621 624—626 628 630 631 633—635 Pullback 719 Pure proof 701 Pure proposition 700 701 Pure propositional function 700 Pure type 343 Pure typed function 701 Putnam, H. 18 20 21 75 495 Q, R (theories of arithmetic) 82—83 507 513 560 579 Quantified propositional logic 600 Quantifier exchange property 100 Quantifier rule 32 109 710 Quantifier Theorem 286 287 Quantifier theorem, hyperarithmetical 229 Quasitautology 49 52 Quine, W. 694 784 Quotient type 719 720 Rabin, M.O. 628 635 Rackoff, C.W. 556 632 Rajan, S. 783 Ramified analysis 383 385 Ramified set theory 294 Ramsey's theorem 619 Ramsey, F. 122 145 191 205 619 635 Random restriction 607 Range type 715 Rank 168 178 221 297 361 525 642 656 Ratajczyk, Z. 190 206 Rathjen, M. 273 291 304 328 333 335 400 403 Raz, R. 605 616 617 630 Razborov, A.A. 134 146 613 616 629 631 635 636 Realistic 485 Realizability 66 407—462 Realizability, 421 422 Realizability, abstract 424 Realizability, extensional 439 440 Realizability, function 427 428 Realizability, function with truth 427 428 Realizability, Lifschitz 437 Realizability, modified 429 431 432 434 Realizability, modified 434 Realizability, modified 434 443 457 Realizability, modified 431 Realizability, naming conventions 422 Realizability, numerical 408 410 413 418 442 444 446 455 Realizability, numerical with truth 413 442 457 Realizability, set theory 458 Realization see "Arithmetic realization" Realizational instance 532 Reckhow, R.A. 550 552 592 594 595 631 636 Record type 756 764 Recursion see "Bar recursion" "Limited "Primitive "Transfinite Recursion operator 425 RECURSIVE 172 Recursive comprehension (RCA) 371 Recursive type 760 Recursive, 172 see Recursively inaccessible 289 Recursively regular 228 304 Recursor 232 344 345 348 349 360 362 364 378 387 429 734 737 761 763
Реклама
-norm 
- 
- 
- 
, 
, 
-calculus, F 
-recursive 
|
|
О проекте