Subsystems of Second Order Arithmetic (Perspectives in Logic) - Image 1

£147.00

Cambridge University Press Subsystems of Second Order Arithmetic (Perspectives in Logic)

Name: Subsystems of Second Order Arithmetic (Perspectives in Logic)
Brand: Cambridge University Press
Price: 147.0 GBP
Availability: InStock

Higher Education

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

£147 today · cheaper than every other day in the last 2 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 20 days • 20 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 20 days • 1 price levels

Days at Price

Price Analysis

Most common price: £147 (20 days, 100.0%)

Price range: £147 - £147

Price levels: 1 different prices over 20 days

Description

Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined to prove particular theorems in core mathematical areas such as algebra, analysis, and topology, focusing on the language of second-order arithmetic, the weakest language rich enough to express and develop the bulk of mathematics. In many cases, if a mathematical theorem is proved from appropriately weak set existence axioms, then the axioms will be logically equivalent to the theorem. Furthermore, only a few specific set existence axioms arise repeatedly in this context, which in turn correspond to classical foundational programs. This is the theme of reverse mathematics, which dominates the first half of the book. The second part focuses on models of these and other subsystems of second-order arithmetic.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 052188439X
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Education > Higher Education
Domain: Amazon UK
Release Date: 29 May 2009
Listed Since: 19 November 2008

Barcode

No barcode data available

Cambridge University Press Subsystems of Second Order Arithmetic (Perspectives in Logic)

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

Subsystems of Second Order Arithmetic: Second Edition: Perspectives in Logic

Logic of Arithmetic: 03 (Lectures on Mathematical Logic)

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

Numbers, Sets and Axioms: The Apparatus of Mathematics

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

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

Philosophy's Loss of Logic to Mathematics: An Inadequately Understood Take-Over: 43 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 43)

Language, Truth and Logic in Mathematics: 3 (Jaakko Hintikka Selected Papers, 3)

Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides)

Éléments de mathématiques pour le XXIe siècle, volume 1: Fondements des mathématiques 1 (logique des propositions et des prédicats, systèmes déductifs ... de Peano, structures algébriques de base)

Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)

Philosophy's Loss of Logic to Mathematics: An Inadequately Understood Take-Over: 43 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 43)

Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)

Nonstandard Analysis: In Higher Education, Logic and Philosophy (De Gruyter STEM)

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

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Universal Algebraic Logic: Dedicated to the Unity of Science (Studies in Universal Logic)

Universal Algebraic Logic: Dedicated to the Unity of Science (Studies in Universal Logic)

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

Routledge Origins and Varieties of Logicism - Philosophy Book

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science, 27)

Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)