A Sneak Preview of Proof Theory of Ordinals(Infinity in Philosophy and Mathematics)

Toshiyasu ARAI
2012 Annals of the Japan Association for Philosophy of Science  
This article is a sneak preview of t・he project, 'proof theory for ordinals'. Background, aims and survey on the project are given. Although some papers [7][8][9][10][11] have been already appeared, a large part of the ser"ies of papers under the project, 'proof theory for theories of ordinals; [2-5] has not yet published. So this art・icle is a sneak preview of t・he project. For another approach to the ordinal anal}.rses via ep$ilon substitution < wFK i T e M,Jo[K.] for soine recursive well
more » ... ring Kdv of type a} (Wo[{] denotes a III-sentence saying tliat K is a well ordering.) *
doi:10.4288/jafpos.20.0_29 fatcat:5jz7rp3a55bd7cigvarcpimhu4