×

Subsystems of second order arithmetic. (English) Zbl 0909.03048

Perspectives in Mathematical Logic. Berlin: Springer. xiv, 444 p. (1999).
The main question studied in the book under review is “What are the appropriate axioms for mathematics?” Since the author focuses on the language of second-order arithmetic, he is especially interested in the question of which set existence axioms are needed to prove the known theorems of mathematics. The attention is restricted to ordinary non-set-theoretic mathematics, i.e. to those branches of mathematics which are prior to or independent of the introduction of abstract set-theoretic concepts (such branches as geometry, number theory, calculus, differential equations, real and complex analysis, countable algebra, the topology of complete separable metric spaces, mathematical logic, computability theory). The emphasis is laid on Hilbert’s program and the emerging reverse mathematics. The latter attempts to find weakest subsystems of second-order arithmetic \(Z_2\) in which particular results of ordinary mathematics can be proved (this is done by deriving axioms from theorems).
The book consists of an Introduction, two main parts and an Appendix. The extensive Introduction is devoted to the description of the main subsystems of second-order arithmetic studied in the book and of mathematics within them, as well as to the main ideas of reverse mathematics. Part A consists of 5 chapters. Each chapter is devoted to one subsystem of \(Z_2\) and to the development of mathematics in it. Particular chapters focus on: \(\text{RCA}_0\) (recursive comprehension), \(\text{ACA}_0\) (arithmetical comprehension), \(\text{WKL}_0\) (weak König’s lemma), \(\text{ATR}_0\) (arithmetical transfinite recursion) and \(\Pi^1_1 -\text{CA}_0\) \((\Pi^1_1\) comprehension). In Part B, consisting of 3 chapters, models of \(Z_2\) and its subsystems are studied. In particular, Chapter VII is devoted to \(\beta\)-models, Chapter VIII to \(\omega\)-models and Chapter IX to non-\(\omega\)-models. In the Appendix some additional reverse mathematics results and problems are presented (without proofs but with references to the published literature).
The book is supplemented by historical and bibliographical notes (spread throughout the text), the extensive bibliography (279 items) and an index.
This monograph can be studied both by graduate students in mathematical logic and foundations of mathematics and by experts. It provides an encyclopedic treatment of subsystems of \(Z_2\). It can be viewed as a continuation of “Grundlagen der Mathematik” by D. Hilbert and P. Bernays.

MSC:

03F35 Second- and higher-order arithmetic and fragments
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03C62 Models of arithmetic and set theory
PDFBibTeX XMLCite