Models of Peano Arithmetic: 15 (Oxford Logic Guides) - Image 1

£133.10

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

Name: Models of Peano Arithmetic: 15 (Oxford Logic Guides)
Brand: Oxford University Press
Price: 133.1 GBP
Availability: InStock

Mathematical Logic

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

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

Historical

Generating forecast...

Price Distribution

Price distribution over 6 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £133 (3 days, 50.0%)

Price range: £133 - £140

Price levels: 2 different prices over 6 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

Brand: Oxford University Press
Format: hardcover
ASIN: 019853213X
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 31 January 1991
Listed Since: 15 December 2006

Barcode

No barcode data available

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

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Hilbert's Tenth Problem: An Introduction to Logic, Number Theory, and Computability (Student Mathematical Library)

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

Constructive Models (Siberian School of Algebra and Logic)

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

Constructive Models (Siberian School of Algebra and Logic)

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Introduction to Incompleteness: From Gödel's Theorems to Forcing and the Continuum Hypothesis

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

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

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

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

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

Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems: 286 (Synthese Library, 286)

A First Course in Mathematical Logic and Set Theory

An Introduction to Ramsey Theory: Fast Functions, Infinity, and Metamathematics (Student Mathematical Library)

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

Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)

Mathematics in Programming

Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16

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

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

Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II)

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