Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorLuckhardt, Horst. author
TitleExtensional Gรถdel Functional Interpretation [electronic resource] : A Consistency Proof of Classical Analysis / by Horst Luckhardt
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1973
Connect tohttp://dx.doi.org/10.1007/BFb0060871
Descript VI, 166 p. online resource

CONTENT

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


Mathematics Mathematical analysis Analysis (Mathematics) Mathematics Analysis



Location



Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network

  line

facebook   instragram