UID:
almahu_9947921456502882
Format:
VIII, 384 p.
,
online resource.
ISBN:
9783540386490
Series Statement:
Lecture Notes in Mathematics, 897
Note:
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.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783540111702
Language:
English
Subjects:
Mathematics
URL:
http://dx.doi.org/10.1007/BFb0091894
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(Deutschlandweit zugänglich)
