Content deleted Content added
Citation bot (talk | contribs) Add: s2cid, pages, issue, volume, journal, year, title, doi, authors 1-2. Changed bare reference to CS1/2. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 96/1223 |
|||
Line 8:
=== Fundamental sequences for the Veblen hierarchy ===
{{unsourced section|Date=May 2023}}
The fundamental sequence for an ordinal with [[cofinality]] ω is a distinguished strictly increasing ω-sequence which has the ordinal as its limit. If one has fundamental sequences for α and all smaller limit ordinals, then one can create an explicit constructive bijection between ω and α, (i.e. one not using the axiom of choice). Here we will describe fundamental sequences for the Veblen hierarchy of ordinals. The image of ''n'' under the fundamental sequence for α will be indicated by α[''n''].
| |||