Description



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.

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

Product form

£27.00

Includes FREE delivery

Order before 4pm tomorrow for delivery by Fri 23 Jan 2026.

A Paperback by W. Buchholz, S. Feferman, W. Pohlers

15 in stock


    View other formats and editions of Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies by W. Buchholz

    Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    Publication Date: 01/12/1981
    ISBN13: 9783540111702, 978-3540111702
    ISBN10: 3540111700
    Also in:
    Mathematical foundations Mathematical logic

    Description



    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.

    Recently viewed products

    © 2026 Book Curl

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account