Functional Interpretations: From The Dialectica Interpretation To Interpretations Of Classical And Constructive Set Theory (Hardback)Justus Diller (author)
Hardback 250 Pages / Published: 30/06/2019
- Coming soon
This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Goedel'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, Goedel's incompleteness theorems.
Publisher: World Scientific Publishing Co Pte Ltd
Number of pages: 250
You may also be interested in...
£9.99Mixed media product
Thank you for your reservation
Your order is now being processed and we have sent a confirmation email to you at
When will my order be ready to collect?
Call us on or send us an email at
Unfortunately there has been a problem with your order
Please try again or alternatively you can contact your chosen shop on or send us an email at