Contact
Cum să cumpăr
Livrare
Consilier de cumpărături
Functional Interpretations: From The Dialectica Interpretation To Functional Interpretations Of Analysis And Set Theory
engleză
261 b
30 de zile pentru retur bunuri
Clienții au cumpărat de asemenea
/
Carte broșată
70.15
lei
/
Carte broșată
75.37
lei
/
Carte broșată
187.54
lei
/
Carte broșată
89.86
lei
This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Godel's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type operations and thus reduces the consistency problem for arithmetic to the problem of computability of primitive recursive functionals of finite types. Regular functional interpretations, i.e. Dialectica and Diller - Nahm interpretation as well as Kreisel's modified realization, together with their Troelstra-style hybrids, are applied to constructive as well as classical systems of arithmetic, analysis, and set theory. They yield relative consistency and conservativity results and closure under relevant rules of the theories in question as well as axiomatic characterizations of the functional translations. Prerequisites are: familiarity with classical and intuitionistic predicate logic, basics of computability theory, Godel's incompleteness theorems.
Informații despre carte
engleză
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinataruluiAr putea de asemenea, să te intereseze
/
Adobe ePub DRM
708.61
lei
/
Carte broșată
66.82
lei
/
Carte broșată
144.80
lei
/
Copertă tare
1 779.42
lei
