Extensional Gödel Functional Interpretation
A Consistensy Proof of Classical Analysis
275 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Produktinformation
- Utgivningsdatum:1973-01-09
- Mått:155 x 235 x 10 mm
- Vikt:271 g
- Format:Häftad
- Språk:Engelska
- Serie:Lecture Notes in Mathematics
- Antal sidor:166
- Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN:9783540061199
Utforska kategorier
Innehållsförteckning
- 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.
Hoppa över listan









Mer från samma serie
Del 1144
Del 2166
Ricci Flow and Geometric Applications
Michel Boileau, Gerard Besson, Carlo Sinestrari, Gang Tian, Riccardo Benedetti, Carlo Mantegazza
Häftad, 2016
383 kr
Del 1370
Algebraic Topology
Gunnar Carlsson, Ralph Cohen, Haynes R. Miller, Douglas C. Ravenel
Häftad, 1989
543 kr
Del 1578
Forward-Backward Stochastic Differential Equations and their Applications
Jin Ma, Jiongmin Yong
Häftad, 1999
651 kr
Del 1730
Foundations of Quantization for Probability Distributions
Siegfried Graf, Harald Luschgy
Häftad, 2000
651 kr
Del 542
Cech and Steenrod Homotopy Theories with Applications to Geometric Topology
D. A. Edwards, H. M. Hastings
Häftad, 1976
436 kr
Del 1659
Del 1241
Hoppa över listan









Du kanske också är intresserad av
- -19%
- Nyhet
- -22%
Del 1
Det vilda havet : Östersjön
Erik Kohlström
Inbunden, 2026
5,0 utav 5 stjärnor. Totalt antal röster:(2)
179 kr
- 4 för 3
Brevbäraren i Lizzanello
Francesca Giannone
Pocket, 2026
4,3 utav 5 stjärnor. Totalt antal röster:(106)
99 kr
- -30%
Del 1
- 4 för 3