Extensional Gödel functional interpretation : a consistency proof of classical analysis / / Horst Luckhardt

• Autore: Luckhardt Horst
• Pubblicazione: Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1973]; ©1973
• Edizione: 1st ed. 1973.
• Descrizione fisica: 1 online resource (VI, 166 p.)
• Disciplina: 510.8
• Soggetto topico: Intuitionistic mathematics; Proof theory; Mathematical analysis
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: 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.
• Titolo autorizzato: Extensional Godel functional interpretation
• ISBN: 3-540-38283-6
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996466586903316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Mathematics, . 0075-8434 ; ; 306