Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorBuchholz, Wilfried. author
TitleIterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies [electronic resource] / by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1981
Connect tohttp://dx.doi.org/10.1007/BFb0091894
Descript VIII, 384 p. online resource

CONTENT

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


Mathematics Mathematical logic Mathematics Mathematical Logic and Foundations



Location



Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network

  line

facebook   instragram