|
Extensional Gödel Functional Interpretation: A Consistensy Proof of Classical Analysis
|
![](/rcimages/rc200big.jpg) (Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 2 Artikel!
Lieferstatus: |
i.d.R. innert 5-10 Tagen versandfertig |
Veröffentlichung: |
Januar 1973
|
Genre: |
Schulbücher |
ISBN: |
9783540061199 |
EAN-Code:
|
9783540061199 |
Verlag: |
Springer Berlin Heidelberg |
Einband: |
Kartoniert |
Sprache: |
English
|
Dimensionen: |
H 235 mm / B 155 mm / D 10 mm |
Gewicht: |
271 gr |
Seiten: |
172 |
Zus. Info: |
Paperback |
Bewertung: |
Titel bewerten / Meinung schreiben
|
Inhalt: |
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. |
|