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

Vetenskap & teknik

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

W Buchholz • S Feferman • W Pohlers • W Sieg

Pocket

529:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

384 sidor
1981

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.

Författare: W Buchholz, S Feferman, W Pohlers, W Sieg
Format: Pocket/Paperback
ISBN: 9783540111702
Språk: Engelska
Antal sidor: 384
Utgivningsdatum: 1981-12-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K