• Sign In / Register
  • Help
  • Basket0
Functional Interpretations: From The Dialectica Interpretation To Interpretations Of Classical And Constructive Set Theory (Hardback)
  • Functional Interpretations: From The Dialectica Interpretation To Interpretations Of Classical And Constructive Set Theory (Hardback)
zoom

Functional Interpretations: From The Dialectica Interpretation To Interpretations Of Classical And Constructive Set Theory (Hardback)

(author)
£81.00
Hardback 250 Pages / Published: 28/02/2019
  • Coming soon

Awaiting publication

  • This item has been added to your basket
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
ISBN: 9789814551397
Number of pages: 250

You may also be interested in...

Godel's Proof
Added to basket
£11.99
Paperback
Proof Theory
Added to basket
£17.99
Paperback
In Pursuit of the Traveling Salesman
Added to basket
The Foundations of Mathematics
Added to basket
Numbers and Proofs
Added to basket
£46.99
Paperback
Logic
Added to basket
£10.99
Paperback
Mathematical Methods in Engineering
Added to basket
Godel's Proof
Added to basket
£9.99
Paperback
Logic for Dummies
Added to basket
£13.99
Paperback
Symbolic Logic and the Game of Logic
Added to basket
How to Prove It
Added to basket
Introducing Infinity
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.