GOODSTEIN’S THEOREM, 0, AND UNPROVABILITY 5 Tocompareωω2#ωω toωω2#ω8,wecomparethelistofexponents: the list ω2 ≥ω1 from the first ordinal with the list ω2 ≥8 from the second ordinal; since the first component of the lists are the same, we go to the secondcomponent. Sinceω1 ≥8,ωω2#ωω islarger. For one more example, compare ωω2#ωω#ω8 to ωω2#ωω. More @Wikipedia
Hover over any link to get a description of the article. Please note that search keywords are sometimes hidden within the full article and don't appear in the description or title.