Takeuti-Feferman-Buchholz ordinal: Difference between revisions
Jump to navigation
Jump to search
no edit summary
RhubarbJayde (talk | contribs) (Created page with "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 \( \varepsilon_0 \) and the ...") |
RhubarbJayde (talk | contribs) No edit summary |
||
Line 1:
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
|