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

Price History & Forecast

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)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Natural Dualities for the Working Algebraist: 57 (Cambridge Studies in Advanced Mathematics, Series Number 57)

An Introduction to Mathematical Reasoning: Numbers, Sets and Functions

Algebraic Systems: 192 (Grundlehren der mathematischen Wissenschaften, 192)

The Argument of Mathematics: 30 (Logic, Epistemology, and the Unity of Science, 30)

The Collected Works of Larry Wos: Applying Automated Reasoning to Puzzles, Problems, and Open Questions Vol 1

An Accompaniment to Higher Mathematics (Undergraduate Texts in Mathematics)

Handbook of Practical Logic and Automated Reasoning

Practical Foundations of Mathematics: 59 (Cambridge Studies in Advanced Mathematics, Series Number 59)

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)

How We Understand Mathematics: Conceptual Integration in the Language of Mathematical Description (Mathematics in Mind)

Philosophy and Model Theory

The Logical Legacy of Nikolai Vasiliev and Modern Logic: 387 (Synthese Library, 387)

Mathematical Epistemology and Psychology: 12 (Synthese Library, 12)

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Mathematics of the 19th Century: Mathematical Logic Algebra Number Theory Probability Theory

Category Theory: Invariances and Symmetries in Computer Science

Understanding Mathematics Through Problem Solving: Surprising and Entertaining: 2 (Problem Solving in Mathematics and Beyond)

Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)

Logic in High Definition: Trends in Logical Semantics: 56

Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory: 53 (Trends in Logic, 53)

Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings: 11715 (Lecture Notes in Computer Science, 11715)

Topoi: The Categorial Analysis of Logic