Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies

著者

• Buchholz, Wilfried

書誌事項

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies

Wilfried Buchholz ... [et al.]

（Lecture notes in mathematics, 897）

Springer-Verlag, 1981

• : Berlin
• : New York

注記

Bibliography: p. [358]-368

Includes index

内容説明・目次

目次

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.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA04001778
• ISBN:
  • 3540111700
  • 0387111700
• LCCN: 81021364
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; New York
• ページ数/冊数: v, 383 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA3
  • LCC : QA299.8
  • DC19 : 510 s
  • DC19 : 511
• 件名:
  • LCSH : Mathematical analysis -- Foundations
  • LCSH : Induction (Mathematics)
  • LCSH : Proof theory
• 親書誌ID:
  • BA00146586