Extensional Gödel Functional Interpretation
Springer Berlin (Verlag)
978-3-540-06119-9 (ISBN)
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.
Erscheint lt. Verlag | 9.1.1973 |
---|---|
Reihe/Serie | Lecture Notes in Mathematics |
Zusatzinfo | VI, 166 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 249 g |
Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
Mathematik / Informatik ► Mathematik ► Analysis | |
Schlagworte | arithmetic • Calculus • differential equation • Function • Proof |
ISBN-10 | 3-540-06119-3 / 3540061193 |
ISBN-13 | 978-3-540-06119-9 / 9783540061199 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich