No.771
‡˜”‚ΜŠξ–{—ρ‚Ζ‘g‡‚Ή“IŒ΄—‚ΜŠΦŒW
Fundamantal Sequence of Ordinal Number and Combinatorial Principle
@
1991/01/16`1991/01/19
Šp“c@–@–η
KADOTA,NORIYA
@
–ځ@ŽŸ
@
1. ƒjŠKŽZp‚̏”Œφ—AC, DC, CA, BI‚ΜŠΦŒW : Cut-Elimination‚̏‰“™“I‰ž—p‚Ζ‚΅‚Δ(‡˜”‚ΜŠξ–{—ρ‚Ζ‘g‡‚Ή“IŒ΄—‚ΜŠΦŒW)----------------------1
@@@@L“‡‘εŠw‘‡‰ΘŠwŒ€‹†‰Θ”—ξ•ρκU@@@Vˆδ •qN@(Arai, Toshiyasu)
@
2. THE FAST AND SLOW GROWING HIERARCHIES AND THE INDUCTIVE DEFINITIONS--------------------------------------------------------------77
@@@@L“‡‘εŠwHŠw•”‰ž—p”Šw‰Θ@@@Šp“c –@–η@(Kadota, Noriya)
@
3. 2ŠKŽZp‚̏”‘ΜŒn : ƒ‚ƒfƒ‹˜_“IŽθ–@‚Ι‚ζ‚ι•ͺΝ(‡˜”‚ΜŠξ–{—ρ‚Ζ‘g‡‚Ή“IŒ΄—‚ΜŠΦŒW)--------------------------------------------------118
@@@@“Œ–k‘εŠw‹³—{•””Šw‰Θ@@@“c’† ˆκ”V@(Tanaka, Kazuyuki)
@