£70.96

About as cheap as it gets — within 5% of the all-time low it hit 1 month ago.

£71 today · all-time low £71 (Sep 2026) · usually the usual

World Scientific Publishing Company Functional Interpretations: From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory

View at Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 60 days · 60 data points (no recent data)

Historical
Generating forecast…
£72.85 £70.76 £71.22 £71.67 £72.13 £72.58 £73.04 26 July 2026 09 August 2026 24 August 2026 08 September 2026 23 September 2026
View at Amazon ↗

Price data last checked 31 day(s) ago - refreshing...

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↑ Price chart
when this has been cheap or pricey
↑ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price Distribution

Price distribution over 60 days • 2 price levels

Days at Price
Current Price
30 days · current 30 days 0 8 15 23 30 £71 £73 Days at Price

Price Analysis

Most common price: £71 (30 days, 50.0%)

Price range: £71 - £73

Price levels: 2 different prices over 60 days

Description

This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Gödel'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, in particular the Dialectica interpretation and its generalization to finite types, the Diller-Nahm interpretation, are studied on Heyting as well as Peano arithmetic in finite types and extended to functional interpretations of constructive as well as classical systems of analysis and set theory. Kreisel's modified realization and Troelstra's hybrids of it are presented as interpretations of Heyting arithmetic and extended to constructive set theory, both in finite types. They serve as background for the construction of hybrids of the Diller-Nahm interpretation of Heyting arithmetic and constructive set theory, again in finite types. All these functional interpretations yield relative consistency results and closure under relevant rules of the theories in question as well as axiomatic characterizations of the functional translations.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
28 February 2017
Listed Since
27 June 2014

Barcode

No barcode data available

Similar Products You Might Like

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
97% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£130.33 29 Sep 2026
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
97% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£75.93 12 Sep 2026
Springer Kurt Godel: The Princeton Lectures on Intuitionism
97% match

Springer Kurt Godel: The Princeton Lectures on Intuitionism

Springer

£62.78 22 Aug 2026
Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)
97% match

Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)

Springer

£60.59 12 Sep 2026
Springer Metamathematics of First-Order Arithmetic Book
96% match

Springer Metamathematics of First-Order Arithmetic Book

Springer

£99.05 04 Sep 2026
Constructive Models (Siberian School of Algebra and Logic)
96% match

Constructive Models (Siberian School of Algebra and Logic)

Springer

£159.17 24 Sep 2026
Constructive Models (Siberian School of Algebra and Logic)
96% match

Constructive Models (Siberian School of Algebra and Logic)

Springer

£110.00 26 Sep 2026
Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof
96% match

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

Springer

£43.02 26 Aug 2026
Models of Peano Arithmetic: 15 (Oxford Logic Guides)
96% match

Models of Peano Arithmetic: 15 (Oxford Logic Guides)

Oxford University Press

£168.48 26 Sep 2026
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)
96% match

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Springer

£59.83 23 Sep 2026
Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)
96% match

Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)

Springer

£92.22 19 Sep 2026
Mathematics in Programming
96% match

Mathematics in Programming

Springer

£47.12 08 Sep 2026
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics
96% match

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Birkhauser

£47.12 19 Aug 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
96% match

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Springer

£108.01 29 Aug 2026
Logic and Structure (Universitext)
96% match

Logic and Structure (Universitext)

Springer

£52.79 01 Oct 2026
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)
96% match

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)

Cambridge University Press

£133.99 07 Oct 2026
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics
96% match

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Birkhauser

£44.99 08 Sep 2026
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
96% match

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Springer

£52.36 11 Sep 2026
Logic for Mathematicians
96% match

Logic for Mathematicians

Cambridge University Press

£53.82 11 Aug 2026
A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)
96% match

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

Springer

£92.22 19 Sep 2026
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
96% match

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

CRC Press

£74.23 19 Sep 2026
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
96% match

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Elsevier

£95.00 10 Sep 2026
Cambridge Higher-Order Categorical Logic - Mathematics Book
96% match

Cambridge Higher-Order Categorical Logic - Mathematics Book

Cambridge University Press

£58.49 22 Aug 2026
A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)
96% match

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

Springer

£138.22 11 Aug 2026