Takeuti-Feferman-Buchholz ordinal: Difference between revisions

The Takeuti-Feferman-Buchholz ordinal, commonly abbreviated as TFBO, is the full limit of Buchholz's original set of ordinal collapsing functions. This name was assigned by David Madore in his "Zoo of Ordinals".<ref>A Zoo of Ordinals, David A. Madore, July 29 2017</ref> It is not particularly vastly larger than the [[Buchholz ordinal]], although one could comparatively describe the difference in size as like that between [[Epsilon numbers|\( \varepsilon_0 \)]] and the [[Bachmann-Howard ordinal]]. It is equal to the proof-theoretic ordinal of second-order arithmetic with comprehension restricted to \( \Pi^1_1 \)mathrm{-formulaeCA_0} \) (of which the Buchholz ordinal is the proof-theoretic ordinal) with an additional schemeinduction of transfinite inductionschemata. It also is the proof-theoretic ordinal of Peano arithmetic, augmented by iterated inductive definitions of length \( \omega \) (while the Buchholz ordinal has iterated definitions of arbitrary finite lengths).