07/01/20 16:56:59
>>110のHardy functionの定義で
H[0](x)=x というのはH[0](x)=x+1の誤植でしょうか。
それと、F[ω+x](x)を展開する場合、ω+xは極限順序数ではないので
(xは自然数なのでω+(x-1)が存在してω+x=ω+(x-1)+1となる)、
F[ω+x](x)=F[ω+(x-1)]^x(x) とすべきでしょうか。
またやっちまった予感…
07/01/20 16:56:59
>>110のHardy functionの定義で
H[0](x)=x というのはH[0](x)=x+1の誤植でしょうか。
それと、F[ω+x](x)を展開する場合、ω+xは極限順序数ではないので
(xは自然数なのでω+(x-1)が存在してω+x=ω+(x-1)+1となる)、
F[ω+x](x)=F[ω+(x-1)]^x(x) とすべきでしょうか。
またやっちまった予感…