Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.

Cookie akzeptieren

Buchholz, W. / Sieg, W. et al. Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies. Springer Berlin Heidelberg, 1981.

eng

W. Buchholz / W. Sieg / W. Pohlers / S. Feferman

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

Springer Berlin Heidelberg
1981

Taschenbuch
392 Seiten
ISBN 9783540111702

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.

37,40 €

inkl. MwSt.
zzgl. Versand

in Kürze