Contacto
Como comprar
Entrega
Guia de compras
Functional Interpretations: From The Dialectica Interpretation To Functional Interpretations Of Analysis And Set Theory
Inglês
217 b
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
10.83
€
/
Capa mole
11.64
€
/
Capa mole
29.46
€
/
Capa mole
14.27
€
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.
Sobre o livro
Inglês
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Adobe ePub DRM
115.76
€
/
Livro de capa dura
81.93
€
/
Capa mole
10.22
€
/
Capa mole
22.88
€
/
Livro de capa dura
293.31
€
