
Subsystems of Second Order Arithmetic
S.G. Simpson(Author)
Springer (Publisher)
Published on 30. November 1998
Book
Hardback
444 pages
978-3-540-64882-6 (ISBN)
Description
This volume focuses on the role of set existence axioms. Part A demonstrates that many familiar theorems of algebra, analysis, functional analysis, and combinatorics are logically equivalent to the axioms needed to prove them. This phenomenon is known as reverse mathematics. Subsystems of second order arithmetic based on such axioms correspond to several foundational programs: finitistic reductionism (Hilbert); constructivism (Bishop); predictavism (Weyl); and predictive reductionism (Feferman/Friedman). Part B is a thorough study of models of these and other systems.
More details
Series
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Target group
Professional and scholarly
Illustrations
tables, bibliography, index
ISBN-13
978-3-540-64882-6 (9783540648826)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Stephen G. Simpson
Subsystems of Second Order Arithmetic
Book
10/2011
1st Edition
Springer
€85.55
Article exhausted; check different version
Person
Content
Part A Development of mathematics within subsystems of Z2: recursive comprehension; arithmetical comprehension; weak Konig's lemma; arithmetical transfinite recursion; pill comprehension. Part B Models of subsystems of Z2: beta-models; omega-models; non-omega models; additional results.