LEADER 02581nam 2200589 450 001 996466628303316 005 20211129082749.0 010 $a3-540-46825-0 024 7 $a10.1007/978-3-540-46825-7 035 $a(CKB)1000000000437399 035 $a(SSID)ssj0000325962 035 $a(PQKBManifestationID)12124455 035 $a(PQKBTitleCode)TC0000325962 035 $a(PQKBWorkID)10264735 035 $a(PQKB)10895854 035 $a(DE-He213)978-3-540-46825-7 035 $a(MiAaPQ)EBC3087469 035 $a(MiAaPQ)EBC6574185 035 $a(Au-PeEL)EBL6574185 035 $a(OCoLC)1255224019 035 $a(PPN)155214705 035 $a(EXLCZ)991000000000437399 100 $a20211129h19941989 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aProof theory $ean introduction /$fWolfram Pohlers 205 $a1st ed. 1989. 210 1$aBerlin :$cSpringer-Verlag,$d1994. 210 4$dİ1989 215 $a1 online resource (VIII, 220 p.) 225 1 $aLecture notes in mathematics (Springer-Verlag) ;$v1407 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-387-51842-8 311 $a3-540-51842-8 320 $aIncludes bibliographical references and index. 327 $aOrdinal Analysis of Pure Number Theory -- The autonomous ordinal of the infinitary system Z? and the limits of predicativity -- Ordinal analysis of the formal theory for noniterated inductive definitions. 330 $aAlthough this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The "constructive" consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the "cabal language" of proof theory, but only a language familiar to most readers. 410 0$aLecture notes in mathematics (Springer-Verlag) ;$v1407. 606 $aProof theory 615 0$aProof theory. 676 $a511.3 700 $aPohlers$b Wolfram$056702 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466628303316 996 $aProof theory$981534 997 $aUNISA