Subsystems of second order arithmetic
著者
書誌事項
Subsystems of second order arithmetic
(Perspectives in mathematical logic)
Springer-Verlag, c1999
- : hard
大学図書館所蔵 件 / 全30件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. [413]-424
Includes index
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より