Extensional Gödel Functional Interpretation
A Consistensy Proof of Classical Analysis
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
26.74 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Extensional Gödel Functional Interpretation “
Klappentext zu „Extensional Gödel Functional Interpretation “
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.
Inhaltsverzeichnis zu „Extensional Gödel Functional Interpretation “
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.
Bibliographische Angaben
- Autor: Horst Luckhardt
- 1973, 172 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Englisch
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540061193
- ISBN-13: 9783540061199
- Erscheinungsdatum: 09.01.1973
Sprache:
Englisch
Kommentar zu "Extensional Gödel Functional Interpretation"
0 Gebrauchte Artikel zu „Extensional Gödel Functional Interpretation“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Extensional Gödel Functional Interpretation".
Kommentar verfassen