Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
Inductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The ??+1-Rule.- Ordinal analysis of ID?.- Proof-theoretical analysis of ID? by the method of local predicativity.
- 著者
- Buchholz, Wilfried、 Feferman S.、 Pohlers W.、 Sieg W.、Buchholz W.
- 出版社
- Springer-Verlag
- 発売日
- 1981年1月発売
- 価格
- 価格未定（税込・書誌情報提供：openBD）
- ISBN
- 9783540111702
発売済み
シリーズの既刊・続刊
- Lectures on symplectic geometry / Ana Cannas da Silva
- Harmonic mappings and minimal immersions : lectures given at the 1st 1984 session of the Centro internationale [sic] matematico estivo (C.I.M.E.) held at Montecatini, Italy, June 24-July 3, 1984
- Arithmetik Abelscher Varietäten mit komplexer Multiplikation
- Galerkin finite element methods for parabolic problems