£80.99

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

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

View at Amazon

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

This is the usual price. Wait for it to drop, or tell us your number.

£81 today · usual range £0–£0 · best ever £62

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 636 days • 636 data points (No recent data available)

Historical
Generating forecast...
£89.01 £59.10 £65.63 £72.15 £78.68 £85.20 £91.73 10 June 2024 15 November 2024 23 April 2025 29 September 2025 07 March 2026

Price Distribution

Price distribution over 636 days • 4 price ranges

Days at Price
Current Price
150 days 152 days 267 days · current 67 days 0 67 134 200 267 £62-67 £67-73 £78-84 £84-89 Days at Price

Price Analysis

Most common range: £78-84 (267 days, 42.0%)

Price range: £62 - £89

Price levels: 4 price ranges over 636 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

£133.00 01 Apr 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.35 25 Feb 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 24 Jan 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

£43.99 24 Feb 2026
Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)
96% match

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

Springer

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

Constructive Models (Siberian School of Algebra and Logic)

Springer

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

Constructive Models (Siberian School of Algebra and Logic)

Springer

£146.43 17 Mar 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

£41.75 29 Jan 2026
Models of Peano Arithmetic: 15 (Oxford Logic Guides)
96% match

Models of Peano Arithmetic: 15 (Oxford Logic Guides)

Oxford University Press

£133.10 17 Mar 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.97 08 Mar 2026
Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)
96% match

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

Springer

£96.75 01 Mar 2026
Mathematics in Programming
96% match

Mathematics in Programming

Springer

£49.90 15 Feb 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

£46.41 13 Jan 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
96% match

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

Springer

£111.23 04 Feb 2026
Logic and Structure (Universitext)
96% match

Logic and Structure (Universitext)

Springer

£48.08 14 Apr 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

£39.98 15 Feb 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

£48.61 21 Feb 2026
Logic for Mathematicians
96% match

Logic for Mathematicians

Cambridge University Press

£37.68 12 Dec 2025
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

£96.05 02 Mar 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.25 03 Mar 2026
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
96% match

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Elsevier

£95.00 20 Feb 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 09 Dec 2025
Lectures on the Hyperreals: An Introduction to Nonstandard Analysis: 188 (Graduate Texts in Mathematics, 188)
96% match

Lectures on the Hyperreals: An Introduction to Nonstandard Analysis: 188 (Graduate Texts in Mathematics, 188)

Springer

£75.50 08 Mar 2026
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
96% match

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Springer

£63.54 27 Feb 2026