Kapcsolat
Hogyan vásároljunk
Kézbesítés
Vásárlási tanácsadó
Functional Interpretations: From The Dialectica Interpretation To Functional Interpretations Of Analysis And Set Theory
Angol
268 b
Akár 30 napos visszaküldési lehetőség
A vásárlók ilyet vásároltak
/
Puha kötésű
12 946
Ft
/
Puha kötésű
11 326
Ft
/
Puha kötésű
4 874
Ft
/
Puha kötésű
4 846
Ft
/
Puha kötésű
6 245
Ft
/
Puha kötésű
5 196
Ft
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.
Információ a könyvről
Angol
Kategória
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címéreEzt is ajánljuk
/
Kemény kötésű
122 854
Ft
/
Adobe ePub DRM
47 869
Ft
/
Puha kötésű
4 625
Ft
/
Puha kötésű
9 982
Ft
Szia! Libroamiko vagyok, a könyvtanácsadód.
Miben segíthetek?