Extensional Gödel Functional Interpretation : A Consistency Proof of Classical Analysis / by Horst Luckhardt.

Format:

Book

Author/Creator:

Luckhardt, Horst, author.

Contributor:

SpringerLink (Online service)

Series:

Lecture Notes in Mathematics, 0075-8434 ; 306.

Lecture Notes in Mathematics, 0075-8434 ; 306

Language:

English

Subjects (All):

Global analysis (Mathematics).

Analysis.

Local Subjects:

Analysis.

Physical Description:

1 online resource (VI, 166 pages).

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1973.

System Details:

text file PDF

Contents:

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.

Other Format:

Printed edition:

ISBN:

9783540382836

Access Restriction:

Restricted for use by site license.