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

Author(s)

• Buchholz, Wilfried

Bibliographic Information

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

Note

Bibliography: p. [358]-368

Includes index

Description and Table of Contents

Table of Contents

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.

by "Nielsen BookData"

Details

• NCID: BA04001778
• ISBN:
  • 3540111700
  • 0387111700
• LCCN: 81021364
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: v, 383 p.
• Size: 25 cm
• Classification:
  • LCC : QA3
  • LCC : QA299.8
  • DC19 : 510 s
  • DC19 : 511
• Subject Headings:
  • LCSH : Mathematical analysis -- Foundations
  • LCSH : Induction (Mathematics)
  • LCSH : Proof theory
• Parent Bibliography ID:
  • BA00146586