>>341
>無限列の尻尾同値の定義？
>無限列の決定番号の定義？
これは簡単なことだからよい
>選択公理によって無限列s(i)の尻尾同値類の代表を選ぶことができるんだから、当然決定番号d(i)も求まる
>決定番号は自然数であって、100列それぞれの決定番号からその最大値Dは存在する
>そして100列それぞれについて自列S(i)を除いた99列の決定番号の最大値D(i)も求まるが
>このうち少なくとも99列についてはD=D(i)となるから、当然D＞=d(i)
全部簡単

これで勝ち？