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 interpretation81511UNISA01296nam a2200373 i 450099100069007970753620020507172314.0970423s1976 us ||| | eng 0387901574b10743601-39ule_instLE01300765ExLDip.to Matematicaeng515.73AMS 28C20AMS 46CAMS 46N10AMS 60B11Balakrishnan, A. V.12508Applied functional analysis /A. V. BalakrishnanNew York :Springer-Verlag,1976x, 309 p. ;24 cm.Applications of mathematics,0172-4568 ;3"Revised and enlarged version of the author's Introduction to optimization theory in a Hilbert space."Includes indexBibliography: p. 305-306Functional analysisHilbert spaceMathematical optimization.b1074360123-02-1728-06-02991000690079707536LE013 46C BAL12 (1976)12013000080420le013-E0.00-l- 04040.i1083512x28-06-02Applied functional analysis36765UNISALENTOle01301-01-97ma -engus 01