02961nam 2200613 450 99646658690331620220916123635.03-540-38283-610.1007/BFb0060871(CKB)1000000000438491(SSID)ssj0000323064(PQKBManifestationID)12099159(PQKBTitleCode)TC0000323064(PQKBWorkID)10296243(PQKB)10895207(DE-He213)978-3-540-38283-6(MiAaPQ)EBC5586218(Au-PeEL)EBL5586218(OCoLC)1066179023(MiAaPQ)EBC6842877(Au-PeEL)EBL6842877(PPN)155195107(EXLCZ)99100000000043849120220916d1973 uy 0engurnn|008mamaatxtccrExtensional Gödel functional interpretation a consistency proof of classical analysis /Horst Luckhardt1st ed. 1973.Berlin, Germany ;New York, New York :Springer-Verlag,[1973]©19731 online resource (VI, 166 p.) Lecture Notes in Mathematics,0075-8434 ;306Bibliographic Level Mode of Issuance: Monograph3-540-06119-3 and 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.Lecture Notes in Mathematics,0075-8434 ;306Intuitionistic mathematicsProof theoryMathematical analysisCongressesIntuitionistic mathematics.Proof theory.Mathematical analysis510.8Luckhardt Horst59223MiAaPQMiAaPQMiAaPQBOOK996466586903316Extensional Godel functional interpretation81511UNISA