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: 135.04 GBP
Availability: InStock

Mathematical Logic

Price History & Forecast

Last 52 days • 52 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 52 days • 6 price levels

Days at Price

Current Price

Price Analysis

Most common price: £135 (17 days, 32.7%)

Price range: £126 - £143

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

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

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

Mathematics in Programming

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

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

Constructive Models (Siberian School of Algebra and Logic)

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

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

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

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

Combinatorics, Modeling, Elementary Number Theory: From Basic To Advanced

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

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

A Formalization of Set Theory without Variables (Colloquium Publications)

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)

Propositional and Predicate Calculus: A Model of Argument

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

Introduction to Model Theory (Algebra, Logic and Applications)

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)

Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)