Abstract
AbstractWe determine the proof-theoretic ordinals (i) of ${\cal C} - {\bf{TI}}[\alpha ]$, the transfinite induction along α, for any hyperarithmetical level ${\cal C}$, in the first order setting and (ii) of any combination of iterated arithmetical comprehension and ${\cal C} - {\bf{TI}}[\alpha ]$ for ${\cal C}\, \equiv \,{\rm{\Pi }}_k^i ,{\rm{\Sigma }}_k^i$ ($i\, = \,0,1$) in the second order setting.
Publisher
Cambridge University Press (CUP)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献