Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
(Sprache: Englisch)
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?.-...
Leider schon ausverkauft
versandkostenfrei
Buch
37.40 €
Produktdetails
Produktinformationen zu „Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies “
Klappentext zu „Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies “
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.
Inhaltsverzeichnis zu „Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies “
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.
Bibliographische Angaben
- Autoren: W. Buchholz , W. Sieg , W. Pohlers , S. Feferman
- 1981, 392 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Englisch
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540111700
- ISBN-13: 9783540111702
- Erscheinungsdatum: 01.12.1981
Sprache:
Englisch
Kommentar zu "Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies"
0 Gebrauchte Artikel zu „Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies".
Kommentar verfassen