LEADER 02961nam 2200613 450 001 996466586903316 005 20220916123635.0 010 $a3-540-38283-6 024 7 $a10.1007/BFb0060871 035 $a(CKB)1000000000438491 035 $a(SSID)ssj0000323064 035 $a(PQKBManifestationID)12099159 035 $a(PQKBTitleCode)TC0000323064 035 $a(PQKBWorkID)10296243 035 $a(PQKB)10895207 035 $a(DE-He213)978-3-540-38283-6 035 $a(MiAaPQ)EBC5586218 035 $a(Au-PeEL)EBL5586218 035 $a(OCoLC)1066179023 035 $a(MiAaPQ)EBC6842877 035 $a(Au-PeEL)EBL6842877 035 $a(PPN)155195107 035 $a(EXLCZ)991000000000438491 100 $a20220916d1973 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aExtensional Go?del functional interpretation $ea consistency proof of classical analysis /$fHorst Luckhardt 205 $a1st ed. 1973. 210 1$aBerlin, Germany ;$aNew York, New York :$cSpringer-Verlag,$d[1973] 210 4$dİ1973 215 $a1 online resource (VI, 166 p.) 225 1 $aLecture Notes in Mathematics,$x0075-8434 ;$v306 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-06119-3 327 $aand survey -- A formal system of classical analysis -- Elimination of extensionality -- Translation of classical into intuitionistic approximated theories -- Gödel's functional interpretation in the narrower sense -- The calculus T of the primitive recursive functionals -- Functional interpretation of classical arithmetic plus (ER)-qf, (AC)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), in T -- The calculus T?BR of the bar recursive functionals -- Functional interpretation of classical (AC)o-, (?AC)-analysis with (ER)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), in T?BR -- Further consequences from the functional interpretation of classical analysis -- Consistency proof by computation. Computation of T?BRo...o?? -- Generalized inductive definitions -- Generalization of bar induction BID and the inductive generation processes to trees over species -- A model for T?BR -- On the bar recursive model of classical analysis and the general bar induction over species. 410 0$aLecture Notes in Mathematics,$x0075-8434 ;$v306 606 $aIntuitionistic mathematics 606 $aProof theory 606 $aMathematical analysis$vCongresses 615 0$aIntuitionistic mathematics. 615 0$aProof theory. 615 0$aMathematical analysis 676 $a510.8 700 $aLuckhardt$b Horst$059223 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466586903316 996 $aExtensional Godel functional interpretation$981511 997 $aUNISA