Skip to main content
  • Book
  • © 1981

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

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

Buying options

eBook USD 34.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 46.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (6 chapters)

  1. Front Matter

    Pages I-15
  2. Inductive definitions and subsystems of analysis

    • S. Feferman, W. Sieg
    Pages 16-77
  3. The Ωμ+1-Rule

    • W. Buchholz
    Pages 188-233
  4. Ordinal analysis of IDν

    • W. Buchholz
    Pages 234-260
  5. Back Matter

    Pages 358-383

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: Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg

  • Series Title: Lecture Notes in Mathematics

  • DOI: https://doi.org/10.1007/BFb0091894

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1981

  • Softcover ISBN: 978-3-540-11170-2Published: 01 December 1981

  • eBook ISBN: 978-3-540-38649-0Published: 14 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: VIII, 384

  • Topics: Mathematical Logic and Foundations

Buying options

eBook USD 34.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 46.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions