Extensional Gödel Functional Interpretation: A Consistensy Proof of Classical Analysis: 306 - Brossura

Luckhardt, Horst

Brossura

ISBN 10: 3540061193 ISBN 13: 9783540061199

Casa editrice: Springer, 2009

Su questo libro

Contenuti

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.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2009
• Lingua: Inglese
• ISBN 10: 3540061193
• ISBN 13: 9783540061199
• Rilegatura: Copertina flessibile
• Numero di pagine: 172
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania