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 today for delivery by Thu 18 Jun 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:
      Mathematics 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