Visit our Christmas Gift Finder
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: 30/06/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...

Proof Theory
Added to basket
£17.99
Paperback
Sets, Logic and Categories
Added to basket
Godel's Proof
Added to basket
£10.99
Paperback
Logic For Dummies
Added to basket
£13.99
Paperback
Active Arithmetic!
Added to basket
Measurements and their Uncertainties
Added to basket
The Foundations of Mathematics
Added to basket
Alan Turing's Systems of Logic
Added to basket
Foundation Mathematics for Biosciences
Added to basket
Naive Set Theory
Added to basket
£8.95
Paperback

Please sign in to write a review

Your review has been submitted successfully.