Stock up on textbooks with 40% off + FREE shipping or choose from thousands of Protocols eBooks at just 9.99 each!

Lecture Notes in Mathematics

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

Authors: Buchholz, W., Feferman, S., Pohlers, W., Sieg, W.

Free Preview

Buy this book

eBook 26,99 €
price for Spain (gross)
  • ISBN 978-3-540-38649-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 36,35 €
price for Spain (gross)
  • ISBN 978-3-540-11170-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (6 chapters)

Table of contents (6 chapters)
  • Inductive definitions and subsystems of analysis

    Pages 16-77

    Feferman, S. (et al.)

  • Proof theoretic equivalences between classical and constructive theories for analysis

    Pages 78-142

    Feferman, Solomon (et al.)

  • Inductive definitions, constructive ordinals, and normal derivations

    Pages 143-187

    Sieg, Wilfried

  • The Ωμ+1-Rule

    Pages 188-233

    Buchholz, W.

  • Ordinal analysis of IDν

    Pages 234-260

    Buchholz, W.

Buy this book

eBook 26,99 €
price for Spain (gross)
  • ISBN 978-3-540-38649-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 36,35 €
price for Spain (gross)
  • ISBN 978-3-540-11170-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Authors
Series Title
Lecture Notes in Mathematics
Series Volume
897
Copyright
1981
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-38649-0
DOI
10.1007/BFb0091894
Softcover ISBN
978-3-540-11170-2
Series ISSN
0075-8434
Edition Number
1
Number of Pages
VIII, 384
Topics