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

Add to Wishlist

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

Paperback

$46.0

$46.00

SHIP THIS ITEM
In stock. Ships in 1-2 days.
PICK UP IN STORE

Your local store may have stock of this item.

Available within 2 business hours

Product Details
Table of Contents

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)

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

Page 1 of

Product Details

Table of Contents

Related Subjects

Customer Reviews