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

W. Buchholz

ISBN 10: 3540111700 / ISBN 13: 9783540111702

Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 1981, 1981

A propos de cet article

Neuware -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. 392 pp. Englisch.

N° de réf. du vendeur 9783540111702

Détails bibliographiques

• Titre: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
• Éditeur: Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 1981
• Date de parution: 1981
• Langue: anglais
• ISBN à 10 chiffres: 3540111700
• ISBN à 13 chiffres: 9783540111702
• Reliure: Taschenbuch
• État de l'article: Neu