Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Published on 1. December 1981
Book
Paperback/Softback
VIII, 384 pages
978-3-540-11170-2 (ISBN)
Description
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.
More details
Series
Edition
1981 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
VIII, 384 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 22 mm
Weight
593 gr
ISBN-13
978-3-540-11170-2 (9783540111702)
DOI
10.1007/BFb0091894
Schweitzer Classification
Content
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.