{"product_id":"extensional-godel-functional-interpretation-a-consistensy-proof-of-classical-analysis-von-horst-luckhardt","title":"Extensional Gödel Functional Interpretation","description":"\u003cp\u003eand 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540061199\"\u003e\u003ch3\u003eA Consistensy Proof of Classical Analysis\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540061199","offer_id":39436019597405,"sku":"9783540061199","price":26.74,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/45c04776-19bb-4670-b231-ed607fb92b0b.jpg?v=1772260264","url":"https:\/\/shop.autorenwelt.de\/products\/extensional-godel-functional-interpretation-a-consistensy-proof-of-classical-analysis-von-horst-luckhardt","provider":"Autorenwelt Shop","version":"1.0","type":"link"}