Iterated Inductive Definitions and Subsystems of Analysis

Name: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Brand: Springer
SKU: 9783540111702
Price: 3285.00 INR
Availability: InStock

Recent Proof-Theoretical Studies

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

Springer

₹3,285

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

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.

Description supplied by the publisher.