07/10/18 21:47:22
>>600
>>539 のω_α^CK は（αが加算なら）加算で、
それぞれ、ある大きさに定まっている順序数。
ナゴヤ関数のΩ_nは十分大きな、きりの良い順序数なら何でも良く、
Ω_n = ω_α^CK と考えても良いし、
Ω_n = [濃度が(n番目の無限基数)である最小の順序数] と考えても良い。
>>190 の Ω は「最小の非可算順序数」と書かれていますが、
Ω = ω_1^CK としても、ψ( ) で得られる順序数は同じ。
07/10/18 21:47:22
>>600
>>539 のω_α^CK は（αが加算なら）加算で、
それぞれ、ある大きさに定まっている順序数。
ナゴヤ関数のΩ_nは十分大きな、きりの良い順序数なら何でも良く、
Ω_n = ω_α^CK と考えても良いし、
Ω_n = [濃度が(n番目の無限基数)である最小の順序数] と考えても良い。
>>190 の Ω は「最小の非可算順序数」と書かれていますが、
Ω = ω_1^CK としても、ψ( ) で得られる順序数は同じ。