Wikiいけめん
217
回編集
差分
編集の要約なし
===第1節 基本列===
\( n \)をカウンターの値とする。
基本列とは「いい感じのリダイレクト規則」である。
例えば、ω×2のリダイレクト規則として\( n \)を採用した場合、\( n \)がいくら大きくてもω以上の順序数に行くことはなく、ω2の強さが「生かし切れていない」といえる。
一方、ω×2のリダイレクト規則として\( \omega + n \)を採用した場合、ω×2以下のどんな順序数に対しても、\( n \)を大きくすればそれより大きな順序数に行く。
==第3章 非可算順序数==