£72.85

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

Price data last checked 17 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£73 today · cheaper than every other day in the last 3 months

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 History & Forecast

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

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

Historical
Generating forecast…
£80.98 £72.04 £73.99 £75.94 £77.89 £79.84 £81.79 26 April 2026 14 May 2026 01 June 2026 19 June 2026 08 July 2026

Price Distribution

Price distribution over 74 days • 3 price levels

Days at Price
Current Price
8 days · current 14 days 52 days 0 13 26 39 52 £73 £74 £81 Days at Price

Price Analysis

Most common price: £81 (52 days, 70.3%)

Price range: £73 - £81

Price levels: 3 different prices over 74 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 12 Jul 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.92 03 Jul 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

£52.52 18 Jun 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

£54.52 03 Jul 2026
Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)
96% match

Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)

Springer

£97.00 27 Jun 2026
Constructive Models (Siberian School of Algebra and Logic)
96% match

Constructive Models (Siberian School of Algebra and Logic)

Springer

£165.99 10 Jul 2026
Constructive Models (Siberian School of Algebra and Logic)
96% match

Constructive Models (Siberian School of Algebra and Logic)

Springer

£110.00 11 Jul 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

£39.07 20 Jun 2026
Models of Peano Arithmetic: 15 (Oxford Logic Guides)
96% match

Models of Peano Arithmetic: 15 (Oxford Logic Guides)

Oxford University Press

£145.59 11 Jul 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

£56.87 08 Jul 2026
Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)
96% match

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

Springer

£92.20 06 Jul 2026
Mathematics in Programming
96% match

Mathematics in Programming

Springer

£47.08 29 Jun 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.08 16 Jun 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
96% match

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

Springer

£104.85 24 Jun 2026
Logic and Structure (Universitext)
96% match

Logic and Structure (Universitext)

Springer

£52.79 15 Jul 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

£92.69 19 Jul 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

£41.78 29 Jun 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.29 02 Jul 2026
Logic for Mathematicians
96% match

Logic for Mathematicians

Cambridge University Press

£54.13 10 Jun 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.20 06 Jul 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

£70.82 07 Jul 2026
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
96% match

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Elsevier

£95.00 02 Jul 2026
Introduction to Higher-Order Categorical Logic: 7 (Cambridge Studies in Advanced Mathematics, Series Number 7)
96% match

Introduction to Higher-Order Categorical Logic: 7 (Cambridge Studies in Advanced Mathematics, Series Number 7)

Cambridge University Press

£55.92 20 Jul 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

£125.80 10 Jun 2026