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

£168.48

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

£168 today · usual range £152–£169 · best ever £152

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

Mathematical Logic

Price Distribution

Price distribution over 64 days • 6 price levels

Days at Price

Current Price

Price Analysis

Most common price: £168 (37 days, 57.8%)

Price range: £152 - £169

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

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

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

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Springer Metamathematics of First-Order Arithmetic Book

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

Constructive Models (Siberian School of Algebra and Logic)

Constructive Models (Siberian School of Algebra and Logic)

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

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)

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

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

Mathematics in Programming

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

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

COMPUTATIONAL PROSPECTS OF INFINITY - PART I: TUTORIALS (LECTURE NOTES SERIES, INSTITUTE FOR MATHEMATICAL SCIENCES, NATIONAL UNIVERSITY OF SINGAPORE)

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

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

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

Higher Recursion Theory 2 - Perspectives in Logic Series

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

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

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

Springer Metamathematics of First-Order Arithmetic Book

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

Constructive Models (Siberian School of Algebra and Logic)

Constructive Models (Siberian School of Algebra and Logic)

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

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)

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

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

Mathematics in Programming

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

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

COMPUTATIONAL PROSPECTS OF INFINITY - PART I: TUTORIALS (LECTURE NOTES SERIES, INSTITUTE FOR MATHEMATICAL SCIENCES, NATIONAL UNIVERSITY OF SINGAPORE)

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

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

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

Higher Recursion Theory 2 - Perspectives in Logic Series

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