Advertisement

© 1981

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

  • Authors
Book

Part of the Lecture Notes in Mathematics book series (LNM, volume 897)

Table of contents

  1. Front Matter
    Pages I-15
  2. S. Feferman, W. Sieg
    Pages 16-77
  3. W. Buchholz
    Pages 188-233
  4. W. Buchholz
    Pages 234-260
  5. Back Matter
    Pages 358-383

About this book

Keywords

Beweistheorie Derivation Equivalence Induktive Definition Teilsysteme der Analysis calculus ordinal proof

Bibliographic information

  • Book Title Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
  • Authors W. Buchholz
    S. Feferman
    W. Pohlers
    W. Sieg
  • Series Title Lecture Notes in Mathematics
  • Series Abbreviated Title Lecture Notes in Mathematics
  • DOI https://doi.org/10.1007/BFb0091894
  • Copyright Information Springer-Verlag Berlin Heidelberg 1981
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-11170-2
  • eBook ISBN 978-3-540-38649-0
  • Series ISSN 0075-8434
  • Series E-ISSN 1617-9692
  • Edition Number 1
  • Number of Pages VIII, 384
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Mathematical Logic and Foundations
  • Buy this book on publisher's site