Bookbot

Subsystems of second order arithmetic

Évaluation du livre

4,8(5)Évaluer

En savoir plus sur le livre

This book is an original contribution to the foundations of mathematics, with emphasis 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 well known foundational programs: finitistic reductionism (Hilbert), constructivism (Bishop), predicativism (Weyl), and predicative reductionism (Feferman/Friedman). Part B is a thorough study of models of these and other systems. The book includes an extensive bibliography and a detailed index.

Édition

Achat du livre

Subsystems of second order arithmetic, Stephen G. Simpson

Langue
Année de publication
1999
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

4,8
Excellent
5 Évaluations

Il manque plus que ton avis ici.