£145.59

Oxford University Press Models of Peano Arithmetic: 15 (Oxford Logic Guides)

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

View at Amazon

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

Quietly trending down. £22 cheaper than a month ago.

£146 today · £168 a month ago · £175 two months ago

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 77 days · 77 data points (no recent data)

Historical
Generating forecast…
£174.98 £126.50 £137.08 £147.66 £158.23 £168.81 £179.39 26 April 2026 15 May 2026 03 June 2026 22 June 2026 11 July 2026

Price Distribution

Price distribution over 77 days • 6 price levels

Days at Price
Current Price
7 days 11 days · current 6 days 6 days 25 days 22 days 0 6 13 19 25 £131 £146 £148 £152 £168 £175 Days at Price

Price Analysis

Most common price: £168 (25 days, 32.5%)

Price range: £131 - £175

Price levels: 6 different prices over 77 days

Description

Nonstandard models of arithmetic are of interest to mathematicians through the presence of infinite (or nonstandard) integers and the various properties they inherit from the finite integers. Since their introduction in the 1930s (by Skolem and Gödel ), they have come to play an important role in model theory, and in combinatorics through independence results such as the Paris-Harrington theorem. This book is an introduction to these developments, and stresses the interplay between the first-order theory, recursion-theoretic aspects, and the structural properties of these models. Prerequisites have been kept to a minimum. A basic grounding in elementary model theory and a familiarity with the notions of recursive, primitive recursive, and r.e. sets will be sufficient. Consequently, the book should be suitable for postgraduate students coming to the subject for the first time and a variety of exercises of varying degrees of difficulty will help to further the reader's understanding. Beginning with Gödel's incompleteness theorem, the book covers the prime models, cofinal extensions, end extensions, Gaifman's construction of a definable type, Tennenbaum's theorem, Friedman's theorem and subsequent work on indicators, and culminates in a chapter on recursive saturation and resplendency.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
31 January 1991
Listed Since
15 December 2006

Barcode

No barcode data available

Similar Products You Might Like

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

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

Springer

£97.00 27 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

£41.78 29 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
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
96% 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
96% 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)
96% 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
Logic and Combinatorics: Joint Summer Research Conference on Applications of Mathematical Logic to Finite Combinatorics (Contemporary Mathematics)
96% match

Logic and Combinatorics: Joint Summer Research Conference on Applications of Mathematical Logic to Finite Combinatorics (Contemporary Mathematics)

£57.95 03 Jul 2026
Functional Interpretations: From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory
96% match

Functional Interpretations: From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory

World Scientific Publishing Company

£72.85 08 Jul 2026
Introduction to Model Theory: 15 (Algebra, Logic and Applications)
96% match

Introduction to Model Theory: 15 (Algebra, Logic and Applications)

CRC Press

£76.73 03 Jul 2026
Mathematics in Programming
96% match

Mathematics in Programming

Springer

£47.08 29 Jun 2026
Turing Computability: Theory and Applications (Theory and Applications of Computability)
96% match

Turing Computability: Theory and Applications (Theory and Applications of Computability)

Springer

£47.10 03 Jul 2026
Lectures on Infinitary Model Theory: 46 (Lecture Notes in Logic, Series Number 46)
96% match

Lectures on Infinitary Model Theory: 46 (Lecture Notes in Logic, Series Number 46)

Cambridge University Press

£90.84 08 Jul 2026
COMPUTATIONAL PROSPECTS OF INFINITY - PART I: TUTORIALS (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore)
96% match

COMPUTATIONAL PROSPECTS OF INFINITY - PART I: TUTORIALS (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore)

Scientific Publishing

£67.02 05 Jul 2026
Can Mathematics Be Proved Consistent?: Gödel's Shorthand Notes & Lectures on Incompleteness (Sources and Studies in the History of Mathematics and Physical Sciences)
96% match

Can Mathematics Be Proved Consistent?: Gödel's Shorthand Notes & Lectures on Incompleteness (Sources and Studies in the History of Mathematics and Physical Sciences)

Springer

£44.62 08 Jul 2026
Mathematical Logic and Model Theory: A Brief Introduction: 0 (Universitext)
96% match

Mathematical Logic and Model Theory: A Brief Introduction: 0 (Universitext)

Springer

£52.39 26 Jun 2026
Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)
96% match

Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)

Oxford University Press

£182.97 11 Jul 2026
Cambridge Higher Recursion Theory 2 - Perspectives in Logic
96% match

Cambridge Higher Recursion Theory 2 - Perspectives in Logic

Cambridge University Press

£72.45 15 Jul 2026
Truth, Objects, Infinity: New Perspectives on the Philosophy of Paul Benacerraf: 28 (Logic, Epistemology, and the Unity of Science, 28)
95% match

Truth, Objects, Infinity: New Perspectives on the Philosophy of Paul Benacerraf: 28 (Logic, Epistemology, and the Unity of Science, 28)

Springer

£92.20 09 Jul 2026