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

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

ISBN-10:
3540111700
ISBN-13:
9783540111702
Pub. Date:
12/14/1981
Publisher:
Springer Berlin Heidelberg
ISBN-10:
3540111700
ISBN-13:
9783540111702
Pub. Date:
12/14/1981
Publisher:
Springer Berlin Heidelberg
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies / Edition 1

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

Paperback

$46.0
Current price is , Original price is $46.0. You
$46.00 
  • SHIP THIS ITEM
    Qualifies for Free Shipping
  • PICK UP IN STORE

    Your local store may have stock of this item.

Product Details

ISBN-13: 9783540111702
Publisher: Springer Berlin Heidelberg
Publication date: 12/14/1981
Series: Lecture Notes in Mathematics , #897
Edition description: 1981
Pages: 384
Product dimensions: 6.10(w) x 9.25(h) x 0.03(d)

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.
From the B&N Reads Blog

Customer Reviews