07/10/22 07:31:52
>>673
然り。ただ正確にはListではなくTreeだけど。
ω～ω^ω未満なら自然数のListであらわせる。
(n_1,n_2,…,n_n)→n_1*ω^n+n_2*ω^(n-1)+…+n_n*ω
ここで
((1))→ω＾ω
((1),(2))→ω＾ω＋ω＾（ω＾２）
((1、2))→ω＾(ω＾２＋２ω）
とすれば、ω＾ω～ε_0未満に対応するようにできる。
07/10/22 07:31:52
>>673
然り。ただ正確にはListではなくTreeだけど。
ω～ω^ω未満なら自然数のListであらわせる。
(n_1,n_2,…,n_n)→n_1*ω^n+n_2*ω^(n-1)+…+n_n*ω
ここで
((1))→ω＾ω
((1),(2))→ω＾ω＋ω＾（ω＾２）
((1、2))→ω＾(ω＾２＋２ω）
とすれば、ω＾ω～ε_0未満に対応するようにできる。