見積もりです。証明はありません。Rathjen の ψ を参照。強配列表記との対応は気持ち、厳密にはFGHみたいな対応を考えるべきなんだろうが。

\(Ω=χ_0(0)\)

\(I=χ_1(0)\)

\(Λ_0=ψ_{χ_M(0)}(0)\)

2行

(0)(1,1)φ(1,0)
(0)(1,1)(2,1)φ(2,0)
(0)(1,1)(2,1)(2,1)φ(3,0)
(0)(1,1)(2,1)(3,1)φ(1,0,0)
\(=Ψ^0_Ω(0)\)
(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)φ(1,0,1)
\(=Ψ^0_Ω(1)\)
(0)(1,1)(2,1)(3,1)(2,1)φ(1,1,0)
Ψ^0_Ω(Ω)
(0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)φ(1,0,φ(1,1,0)+1)
\(=Ψ^0_Ω(Ψ^0_Ω(Ω))\)
(0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)φ(1,0,φ(1,1,0)+2)
\(Ψ^0_Ω(Ψ^0_Ω(Ω)+1)\)
(0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)(2,1)φ(1,1,1)
\(=Ψ^0_Ω(Ω+1)\)
(0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)φ(1,0,φ(1,1,1)+1)
\(Ψ^0_Ω(Ψ^0_Ω(Ω+1))\)
(0)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)(2,1)φ(1,1,2)
\(=Ψ^0_Ω(Ω+2)\)
(0)(1,1)(2,1)(3,1)(2,1)(2,1)φ(1,2,0)
\(=Ψ^0_Ω(Ω\cdot2)\)
(0)(1,1)(2,1)(3,1)(2,1)(2,1)(1,1)(2,1)(3,1)φ(1,0,φ(1,2,0)+1)
\(=Ψ^0_Ω(Ψ^0_Ω(Ω\cdot2))\)
(0)(1,1)(2,1)(3,1)(2,1)(2,1)(1,1)(2,1)(3,1)(2,1)φ(1,1,φ(1,2,0)+1)
\(=Ψ^0_Ω(Ω+Ψ^0_Ω(Ω\cdot2))\)
(0)(1,1)(2,1)(3,1)(2,1)(2,1)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)φ(1,0,φ(1,1,φ(1,2,0)+1)+1)
\(=Ψ_Ω(Ψ^0_Ω(Ω+Ψ^0_Ω(Ω\cdot2)))\)
(0)(1,1)(2,1)(3,1)(2,1)(2,1)(1,1)(2,1)(3,1)(2,1)(1,1)(2,1)(3,1)(2,1)φ(1,1,φ(1,2,0)+2)
\(=Ψ^0_Ω(Ω+Ψ^0_Ω(Ω\cdot2)+1)\)
(0)(1,1)(2,1)(3,1)(2,1)(2,1)(1,1)(2,1)(3,1)(2,1)(2,1)φ(1,2,1)
\(=Ψ^0_Ω(Ω\cdot2+1)\)
(0)(1,1)(2,1)(3,1)(2,1)(2,1)(2,1)φ(1,3,0)
\(=Ψ^0_Ω(Ω\cdot3)\)
(0)(1,1)(2,1)(3,1)(2,1)(3,1)φ(2,0,0)
\(=Ψ^0_Ω(Ω^2)\)

3行 ψ_Ω(Λ_0)まで

(0)(1,1,1)\(ψ_Ω(χ_0(ω))\\Ψ^0_Ω(Ω_ω)\\=\text{PTO}(Π^1_1-\text{CA}_0)\)
(0)(1,1,1)(1,1,1)\(ψ_Ω(χ_0(ω)\cdot2)\)
(0)(1,1,1)(2,1)\(ψ_Ω(χ_0(ω)\cdotχ_0(0))\)
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)\(ψ_Ω(χ_0(ω)\cdotχ_0(0)+ψ_{χ_0(1)}(χ_0(ω)\cdotχ_0(0)))\)
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,1)(4,2,1)(5,1)\(ψ_Ω(χ_0(ω)\cdotχ_0(0)+ψ_{χ_0(1)}\\(χ_0(ω)\cdotχ_0(0)+ψ_{χ_0(1)}(χ_0(ω)\cdotχ_0(0))))\)
(0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2)(3,2)\(ψ_Ω(χ_0(ω)\cdotχ_0(0)+χ_0(1))\)
(0)(1,1,1)(2,1,1)(3,1)(2)\(ψ_Ω(Φ_1(0))\\=Ψ^0_Ω(Ψ^0_{Ξ(1)}(2))\)
(0)(1,1,1)(2,1,1)(3,1)(2,1,1)\(ψ_Ω(Φ_1(ω))\\=Ψ^0_Ω(Ψ^0_{Ξ(1)}(ω))\)
(0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2)\(ψ_Ω(Φ_2(0))\\=Ψ^0_Ω(Ξ(1))\)
(0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2)\(ψ_Ω(Φ_2(0)\cdot2)\\=Ψ^0_Ω(Ξ(1)+Ψ^0_{Ξ(1)}(Ξ(1)))\)
(0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2,1)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2)\(ψ_Ω(Φ_2(0)^2)\\=Ψ^0_Ω(Ξ(1)+Ψ^0_{Ξ(1)}(Ξ(1))^2)\)
(0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5,2)(4)\(ψ_Ω(Φ_1(Φ_2(0)+1))\\=Ψ^0_Ω(Ξ(1)+Ψ^0_{Ξ(1)}(Ψ^0_{Ξ(1)}(Ξ(1))))\)
(0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5,2)(4,2,1)\(ψ_Ω(Φ_1(Φ_2(0)+ω))\\=Ψ^0_Ω(Ξ(1)+Ψ^0_{Ξ(1)}(Ψ^0_{Ξ(1)}(Ξ(1))+ω))\)
(0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5,2)(4,2,1)(5,2)(4)\(ψ_Ω(Φ_2(1))\\=Ψ^0_Ω(Ξ(1)+Ψ^0_{Ξ(1)}(Ξ(1)+1))\)
(0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2,1,1)\(ψ_Ω(Φ_2(ω))\\=Ψ^0_Ω(Ξ(1)+Ψ^0_{Ξ(1)}(Ξ(1)+ω))\)
(0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2,1,1)(3,1)(2)\(ψ_Ω(Φ_3(0))\\=Ψ^0_Ω(Ξ(1)\cdot2)\)
(0)(1,1,1)(2,1,1)(3,1)(3,1)(1,1,1)(2,1,1)(3,1)(2)\(ψ_Ω(Φ_{Φ_1(0)}(0))\\=Ψ^0_Ω(Ξ(1)\cdotΨ^0_{Ξ(1)}(0))\)
(0)(1,1,1)(2,1,1)(3,1)(3,1)(1,1,1)(2,1,1)(3,1)(3,1)(1,1,1)(2,1,1)(3,1)(2)\(ψ_Ω(Φ_{Φ_{Φ_1(0)}(0)}(0))\\=Ψ^0_Ω(Ξ(1)\cdotΨ^0_{Ξ(1)}(Ξ(1)\cdotΨ^0_{Ξ(1)}(0)))\)
(0)(1,1,1)(2,1,1)(3,1)(3,1)(2)\(ψ_Ω(ψ_I(0))\\=Ψ^0(Ξ(1)^2)\)
(0)(1,1,1)(2,1,1)(3,1)(3,1)(2,1)(1,1,1)(2,1,1)(3,1)(3,1)(2)\(ψ_Ω(ψ_I(0)^2)\\=Ψ^0(Ξ(1)^2+Ψ^0_{Ξ(1)}(Ξ(1)^2)^2)\)
(0)(1,1,1)(2,1,1)(3,1)(3,1)(2,1,1)\(ψ_Ω(ψ_I(ω))\\=Ψ^0(Ξ(1)^2+Ψ^0_{Ξ(1)}(Ξ(1)^2+ω))\)
(0)(1,1,1)(2,1,1)(3,1)(3,1)(2,1,1)(3,1)(2)\(ψ_Ω(I)\\=Ψ^0(Ξ(1)^2+Ξ(1))\)
(0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(5)\(ψ_Ω(Φ_1(I+1))\\=Ψ^0_Ω(Ψ^0_{Ξ(2)}(3))\)
(0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(5,2)(6,3,1)(7,3,1)(8,3)(7)\(ψ_Ω(Φ_1(I+2))\\=Ψ^0_Ω(Ψ^0_{Ψ^1_{Ξ(2)}(3)}(4))\)
(0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(5,2,1)\(ψ_Ω(Φ_1(I+ω))\\=Ψ^0_Ω(Ψ^0_{Ψ^1_{Ξ(2)}(3)}(ω))\)
(0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(5,2,1)(6,2)(5)\(ψ_Ω(Φ_2(I+1))\\=Ψ^0_Ω(Ψ^1_{Ξ(2)}(3))\)
(0)(1,1,1)(2,1,1)(3,1,1)\(ψ_Ω(χ_1(ω))\\=Ψ^0_Ω(Ψ^0_{Ξ(2)}(ω))\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)\(ψ_Ω(χ_1(ω)+ψ_I(χ_1(ω)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)\(ψ_Ω(χ_1(ω)+ψ_I(χ_1(ω))^2)\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2)(4,2)(5,2)(4,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)\(ψ_Ω(χ_1(ω)+ψ_{χ_0(ψ_I(χ_1(ω))+1)}(χ_1(ω)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2)(4,2)(5,2)(4,1)(3,2)(4,2)(5,2)(4,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)\(ψ_Ω(χ_1(ω)+ψ_{χ_0(ψ_I(χ_1(ω))+1)}(χ_1(ω)\\+ψ_I(χ_1(ω))))\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2)(4,2)(5,2)(4,2)\(ψ_Ω(χ_1(ω)+χ_0(ψ_I(χ_1(ω))+1))\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2,1)\(ψ_Ω(χ_1(ω)+χ_0(ψ_I(χ_1(ω))+ω))\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2,1)(4,2,1)(5,2)(5,2)(4)\(ψ_Ω(χ_1(ω)+ψ_I(χ_1(ω)+1))\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2,1)(4,2,1)(5,2)(5,2)(4,2,1)(5,2)(4)\(ψ_Ω(χ_1(ω)+I)\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2,1)(4,2,1)(5,2,1)\(ψ_Ω(χ_1(ω)+ψ_{χ_0(I+1)}(χ_1(ω)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2)(4,2)(5,2)(4,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)\(ψ_Ω(χ_1(ω)+ψ_{χ_0(I+1)}(χ_1(ω))\\+ψ_{χ_0(ψ_I(χ_1(ω))+1)}(χ_1(ω)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2)(4,2)(5,2)(4,2)\(ψ_Ω(χ_1(ω)+ψ_{χ_0(I+1)}(χ_1(ω))\\+ψ_{χ_0(ψ_I(χ_1(ω))+1)}(χ_1(ω)+χ_0(ψ_I(χ_1(ω))+1)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2,1)\(ψ_Ω(χ_1(ω)+ψ_{χ_0(I+1)}(χ_1(ω))\\+ψ_{χ_0(ψ_I(χ_1(ω))+1)}(χ_1(ω)+χ_0(ψ_I(χ_1(ω))+ω)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2,1)(4,2,1)(5,2,1)\(ψ_Ω(χ_1(ω)+ψ_{χ_0(I+1)}(χ_1(ω))\\+ψ_{χ_0(ψ_I(χ_1(ω))+1)}(χ_1(ω)+ψ_{χ_0(I+1)}(χ_1(ω))))\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(2,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)\(ψ_Ω(χ_1(ω)+ψ_{χ_0(I+1)}(χ_1(ω))\\+ψ_{χ_0(ψ_I(χ_1(ω))+1)}(χ_1(ω)\\+ψ_{χ_0(I+1)}(χ_1(ω)))\cdotψ_I(χ_1(ω)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(2,1)(3,2,1)(4,2,1)(5,2,1)\(ψ_Ω(χ_1(ω)+ψ_{χ_0(I+1)}(χ_1(ω))\\+ψ_{χ_0(ψ_I(χ_1(ω))+1)}(χ_1(ω)+ψ_{χ_0(I+1)}(χ_1(ω)))^2)\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(3,2)(4,2)(5,2)(4,2)\(ψ_Ω(χ_1(ω)+ψ_{χ_0(I+1)}(χ_1(ω))\\+χ_0(ψ_I(χ_1(ω))+1))\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(3,2,1)\(ψ_Ω(χ_1(ω)+ψ_{χ_0(I+1)}(χ_1(ω))\\+χ_0(ψ_I(χ_1(ω))+ω))\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(3,2,1)(4,2,1)(5,2)(6,3,1)(7,3,1)(8,3,1)\(ψ_Ω(χ_1(ω)+ψ_{χ_0(I+1)}(χ_1(ω))\\+ψ_I(χ_1(ω)+ψ_{χ_0(I+1)}(χ_1(ω))))\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(2,1,1)\(ψ_Ω(χ_1(ω)+ψ_{χ_0(I+1)}(χ_1(ω))\cdotω)\)
(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1,1)\(ψ_Ω(χ_1(ω)\cdot2)\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(4)\(ψ_Ω(Φ_1(χ_1(ω)+1))\\=Ψ^0_Ω(Ψ^0_{Ψ^1_{Ξ(2)}(ω)}(ω+1))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)\(ψ_Ω(χ_1(ψ_{χ_1(0)}(χ_1(ω))))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1)(2)\(ψ_Ω(χ_1(χ_1(0)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1)(2)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1)(2)\(ψ_Ω(χ_1(χ_1(0))+ψ_I(χ_1(χ_1(0))))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1)(2,1)(3,2)(4,2)(5,2)(4,1)(3,2)(4,2)(5,2)(4,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1)(2)\(ψ_Ω(χ_1(χ_1(0))+ψ_{χ_0(ψ_I(χ_1(χ_1(0)))+1)}(χ_1(χ_1(0))\\+ψ_{χ_1(0)}(χ_1(χ_1(0)))))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1)(2,1)(3,2)(4,2)(5,2)(4,2)\(ψ_Ω(χ_1(χ_1(0))+χ_0(ψ_I(χ_1(χ_1(0)))+1))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1)(2,1)(3,2,1)(4,2,1)(5,2)(5,2)(4)\(ψ_Ω(χ_1(χ_1(0))+ψ_I(χ_1(χ_1(0))+1))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1)(2,1)(3,2,1)(4,2,1)(5,2,1)\(ψ_Ω(χ_1(χ_1(0))+ψ_{χ_0(I+1)}(χ_1(ω)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(3,2,1)(4,2,1)(5,2)(6,3,1)(7,3,1)(8,3,1)\(ψ_Ω(χ_1(χ_1(0))+ψ_{χ_0(I+1)}(χ_1(ω))\\+ψ_I(χ_1(χ_1(0))+ψ_{χ_0(I+1)}(χ_1(ω))))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(3,2,1)(4,2,1)(5,2,1)\(ψ_Ω(χ_1(χ_1(0))+ψ_{χ_0(I+1)}(χ_1(ω)\cdot2))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(4,2,1)(5,2)(3,2,1)(4,2,1)(5,2)(6,3,1)(7,3,1)(8,3,1)(7,3,1)(8,2)(4)\(ψ_Ω(χ_1(χ_1(0))+ψ_{χ_0(I+1)}(χ_1(χ_1(0))))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1)(2,1,1)\(ψ_Ω(χ_1(χ_1(0))+ψ_{χ_0(I+1)}(χ_1(χ_1(0)))\cdotω)\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1)(4,2,1)\(ψ_Ω(χ_1(χ_1(0))+ψ_{χ_0(I+1)}(χ_1(χ_1(0))\\+χ_0(χ_1(χ_1(0))+ω)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1)(4,2,1)(5,2,1)(6,2,1)\(ψ_Ω(χ_1(χ_1(0))+χ_1(ω))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,2)\(ψ_Ω(χ_1(χ_0(χ_1(0)+1)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,2)(4,2,1)(5,2,1)(6,2)(7,3,1)(8,3,1)(9,3,1)(8,3,1)(9,2)(5)\(ψ_Ω(χ_1(χ_1(1)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1,1)\(ψ_Ω(χ_1(χ_1(ω)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2)\(ψ_Ω(ψ_{χ_2(0)}(0))\\=Ψ^0_Ω(Ξ(2))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2)\(ψ_Ω(ψ_{χ_2(0)}(0)\cdot2)\\=Ψ^0_Ω(Ξ(2)+Ψ^0_{Ξ(2)}(Ξ(2)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5,2)(4)\(ψ_Ω(Φ_1(ψ_{χ_2(0)}(0)+1))\\=Ψ^0_Ω(Ξ(2)+Ψ^0_{Ω_{Ψ^0_{Ξ(2)}(Ξ(2))+1}}(Ψ^0_{Ψ^1_{Ξ(2)}(Ψ^0_{Ξ(2)}(Ξ(2)))}\\(Ψ^0_{Ξ(2)}(Ξ(2))+1)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5,2,1)\(ψ_Ω(χ_1(ψ_{χ_2(0)}(0)+ω))\\=Ψ^0_Ω(Ξ(2)\\+Ψ^0_{Ω_{Ψ^0_{Ξ(2)}(Ξ(2))+1}}(Ψ^0_{Ξ(2)}(Ψ^0_{Ξ(2)}(Ξ(2))+ω)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(4,2,1)(5,2)(4)\(ψ_Ω(ψ_{χ_2(0)}(1))\\=Ψ^0_Ω(Ξ(2)+Ψ^0_{Ω_{Ψ^0_{Ξ(2)}(Ξ(2))+1}}(Ξ(2)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(4,2,1)(5,2)(4)(3,2,1)(4,2,1)(5,2,1)(4,2,1)(5,2)(4)\(ψ_Ω(ψ_{χ_2(0)}(1)\cdot2)\\=Ψ^0_Ω(Ξ(2)+Ψ^0_{Ψ^1_{Ξ(2)}(Ξ(2))}(Ξ(2)+1))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2,1,1)\(ψ_Ω(ψ_{χ_2(0)}(ω))\\=Ψ^0_Ω(Ξ(2)+Ψ^0_{Ψ^1_{Ξ(2)}(Ξ(2))}(Ξ(2)+ω))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2)\(ψ_Ω(χ_2(0))\\=Ψ^0_Ω(Ξ(2)+Ψ^1_{Ξ(2)}(Ξ(2)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1)\(ψ_Ω(χ_2(ω))\\=Ψ^0_Ω(Ξ(2)+Ψ^0_{Ξ(2)}(Ξ(2)+ω))\)
(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1)\(ψ_Ω(χ_3(ω))\\=Ψ^0_Ω(Ξ(2)\cdot2+Ψ^0_{Ξ(2)}(Ξ(2)\cdot2+ω))\)
 (0)(1,1,1)(2,1,1)(3,1,1)(3)\(ψ_Ω(ψ_{χ_ω(0)}(0))\\=Ψ^0_Ω(Ξ(2)\cdotω)\)
(0)(1,1,1)(2,1,1)(3,1,1)(3)(1,1,1)(2,1,1)(3,1,1)(3)\(ψ_Ω(ψ_{χ_ω(0)}(0)\cdot2)\\=Ψ^0_Ω(Ξ(2)\cdotω+Ψ^0_{Ξ(2)}(Ξ(2)\cdotω))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1)(1,1,1)(2,1,1)(3,1,1)(3)\(ψ_Ω(ψ_{χ_ω(0)}(0)^2)\\=Ψ^0_Ω(Ξ(2)\cdotω+Ψ^0_{Ξ(2)}(Ξ(2)\cdotω)^2)\)
(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1)(3,2,1)(4,2,1)(5,2)(4)\(ψ_Ω(Φ_1(ψ_{χ_ω(0)}(0)+1))\\=Ψ^0_Ω(Ξ(2)\cdotω+Ψ^0_{Ω_{Ψ^0_{Ξ(2)}(Ξ(2)\cdotω)+1}}\\(Ψ^0_{Ψ^1_{Ξ(2)}(Ψ^0_{Ξ(2)}(Ξ(2)\cdotω))}(Ψ^0_{Ξ(2)}(Ξ(2)\cdotω)+1)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1)(3,2,1)(4,2,1)(5,2,1)\(ψ_Ω(χ_1(ψ_{χ_ω(0)}(0)+ω))\\=Ψ^0_Ω(Ξ(2)\cdotω+Ψ^0_{Ω_{Ψ^0_{Ξ(2)}(Ξ(2)\cdotω)+1}}\\(Ψ^0_{Ξ(2)}(Ψ^0_{Ξ(2)}(Ξ(2)\cdotω)+ω)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1)(3,2,1)(4,2,1)(5,2,1)(4,2,1)(5,2)(4)\(ψ_Ω(ψ_{χ_2(ψ_{χ_ω(0)}(0)+1)}(0))\\=Ψ^0_Ω(Ξ(2)\cdotω+Ψ^0_{Ω_{Ψ^0_{Ξ(2)}(Ξ(2)\cdotω)+1}}(Ξ(2)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1)(3,2,1)(4,2,1)(5,2,1)(4,2,1)(5,2,1)\(ψ_Ω(χ_2(ψ_{χ_ω(0)}(0)+ω))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1)(3,2,1)(4,2,1)(5,2,1)(5)\(ψ_Ω(ψ_{χ_ω(0)}(1))\\=Ψ^0_Ω(Ξ(2)\cdotω+Ψ^0_{Ω_{Ψ^0_{Ξ(2)}(Ξ(2)\cdotω)+1}}(Ξ(2)\cdotω))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1)(3,2,1)(4,2,1)(5,2,1)(5)(3,2,1)\(Ψ^0_Ω(Ξ(2)\cdotω\\+Ω_{Ψ^0_{Ξ(2)}(Ξ(2)\cdotω)+ω})\)
(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1)(3,2,1)(4,2,1)(5,2,1)(5)(3,2,1)(4,2,1)(5,2,1)(5)\(Ψ^0_Ω(Ξ(2)\cdotω\\+Ψ^0_{Ψ^1_{Ξ(2)}(Ξ(2)\cdotω)}(Ξ(2)\cdotω+1))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1,1)\(ψ_Ω(ψ_{χ_ω(0)}(ω))\\=Ψ^0_Ω(Ξ(2)\cdotω\\+Ψ^0_{Ψ^1_{Ξ(2)}(Ξ(2)\cdotω)}(Ξ(2)\cdotω+ω))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1,1)(3,1)(2)\(ψ_Ω(χ_ω(0))\\=Ψ^0_Ω(Ξ(2)\cdotω+Ψ^1_{Ξ(2)}(Ξ(2)\cdotω))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1,1)(3,1)(2)(1,1,1)(2,1,1)(3,1,1)(3)(2,1,1)(3,1)(2)\(ψ_Ω(χ_ω(0)+ψ_{χ_ω(0)}(χ_ω(0)))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(5)\(ψ_Ω(χ_ω(0)+ψ_{χ_ω(0)}(χ_ω(0)+1))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(5)(4,2,1)(5,2)(4)\(ψ_Ω(χ_ω(0)\cdot2)\)
(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1,1)(3,1)(2,1,1)\(ψ_Ω(χ_ω(0)\cdotω)\)
(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1,1)(3,1,1)\(ψ_Ω(χ_ω(ω))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1,1)(3,1,1)(2,1,1)(3,1,1)\(ψ_Ω(χ_{ω+1}(ω))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1,1)(3,1,1)(3)\(ψ_Ω(ψ_{χ_{ω\cdot2}(0)}(0))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3,1)\(ψ_Ω(ψ_{χ_{χ_0(0)}(0)}(0))\\=Ψ^0_Ω(Ξ(2)\cdotΩ)\)
(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,2,1)(4,1)(3,2,1)\(ψ_Ω(ψ_{χ_{χ_0(0)}(0)}(ω))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,2,1)(4,1)(3,2,1)(4,2)(3)\(ψ_Ω(χ_{χ_0(0)}(0))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,2,1)(4,1)(3,2,1)(4,2,1)\(ψ_Ω(χ_{χ_0(0)}(ω))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,2,1)(4,1)(3,2,1)(4,2,1)(3,2,1)(4,2,1)\(ψ_Ω(χ_{χ_0(0)+1}(ω))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,2,1)(4,1)(3,2,1)(4,2,1)(4,1)\(ψ_Ω(ψ_{χ_{χ_0(0)\cdot2}(0)}(0))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1)(2,2,1)(3,2,1)(4,2,1)(4,2)\(ψ_Ω(ψ_{χ_{χ_0(1)}(0)}(0))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1,1)\(ψ_Ω(ψ_{χ_{χ_0(ω)}(0)}(0))\\=Ψ^0_Ω(Ξ(2)\cdotΩ_ω)\)
(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(5,1)(3,2,1)(4,2,1)(5,2,1)(5,1)(1,1,1)\(ψ_Ω(ψ_{χ_{χ_0(ω)}(0)}(0)\cdot2)\)
(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(5,1)(4,2,1)\(ψ_Ω(ψ_{χ_{χ_0(ω)}(0)}(ω))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(5,1)(4,2,1)(5,2)(4)\(ψ_Ω(χ_{χ_0(ω)}(0))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(5,1)(4,2,1)(5,2,1)\(ψ_Ω(χ_{χ_0(ω)}(ω))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(5,1)(4,2,1)(5,2,1)(4,2,1)(5,2,1)\(ψ_Ω(χ_{χ_0(ω)+1}(ω))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(5,1)(4,2,1)(5,2,1)(5,1)(1,1,1)\(ψ_Ω(ψ_{χ_{χ_0(ω)\cdot2}(0)}(0))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1,1)(2,1)(3,2,1)(4,2,1)(5,2,1)(5,2)(3,2,1)\(ψ_Ω(ψ_{χ_{χ_0(ω\cdot2)}(0)}(0))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1,1)(2,1,1)\(ψ_Ω(ψ_{χ_{χ_0(ω^2)}(0))}(0)\)
(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1,1)(2,1,1)(3,1,1)\(ψ_Ω(ψ_{χ_{χ_1(ω)}(0)}(0))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1,1)(2,1,1)(3,1,1)(3,1)\(ψ_Ω(ψ_{χ_{χ_{χ_0(0)}(0)}(0)}(0))\)
(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(2)\(ψ_Ω(Λ_0)\\=Ψ^0_Ω(Ξ(2)^2)\)
  
  
  

\begin{array}&=&\\(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)\\(2,1,1)(3,1)(2)&=&Ψ^0_Ω(Ξ(3))\\(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)\\(2,1,1)(3,1)(2)(1,1,1)(2,1,1)\\(3,1,1)(3,1,1)(2,1,1)(3,1)(2)&=&Ψ^0_Ω(Ξ(3)+Ψ^0_{Ξ(3)}(Ξ(3)))\\(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)\\(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)\\(5,2)(4)&=&Ψ^0_Ω(Ξ(3)+Ψ^0_{Ψ^1_{Ξ(3)}(Ψ^0_{Ξ(3)}(Ξ(3)))}(Ξ(3)+1))\\(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)\\(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)\\(5,2)(6,3,1)(7,3,1)(8,3)(7)&=&Ψ^0_Ω(Ξ(3)+Ψ^0_{Ψ^2_{Ξ(3)}(Ψ^0_{Ξ(3)}(Ξ(3)))}(Ξ(3)+1))\\(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)\\(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)\\(5,2)(6,3,1)(7,3,1)(8,3)(7,3)\\(8,4,1)(9,4,1)(10,4)(9)&=&Ψ^0_Ω(Ξ(3)+Ψ^0_{Ψ^1_{Ψ^2_{Ξ(3)}(Ψ^0_{Ξ(3)}(Ξ(3)))}(Ξ(3)+1)}(Ξ(3)+2))\\(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)\\(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)\\(5,2,1)&=&Ψ^0_Ω(Ξ(3)+Ψ^0_{Ψ^2_{Ξ(3)}(Ψ^0_{Ξ(3)}(Ξ(3)))}(Ξ(3)+ω))\\(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)\\(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)\\(5,2,1)(4,2,1)(5,2)(4)&=&Ψ^0_Ω(Ξ(3)+Ψ^2_{Ξ(3)}(Ψ^0_{Ξ(3)}(Ξ(3))))\\(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)\\(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)\\(5,2,1)(5,2,1)&=&Ψ^0_Ω(Ξ(3)+Ψ^0_{Ξ(3)}(Ψ^0_{Ξ(3)}(Ξ(3))+ω))\\(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)\\(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)\\(5,2,1)(5,2,1)(4,2,1)(5,2)(4)&=&Ψ^0_Ω(Ξ(3)+Ψ^0_{Ψ^1_{Ξ(3)}(Ξ(3))}(Ξ(3)+1))\\(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)\\(2,1,1)(3,1)(2,1,1)&=&Ψ^0_Ω(Ξ(3)+Ψ^0_{Ψ^1_{Ξ(3)}(Ξ(3))}(Ξ(3)+ω))\\(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)\\(2,1,1)(3,1)(2,1,1)(3,1)(2)&=&Ψ^0_Ω(Ξ(3)+Ψ^1_{Ξ(3)}(Ξ(3)))\\(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)\\(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)\\(5)&=&Ψ^0_Ω(Ξ(3)+Ψ^0_{Ψ^2_{Ξ(3)}(Ψ^1_{Ξ(3)}(Ξ(3)))}(Ξ(3)+1))\\(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)\\(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)\\(5,2)(6,3,1)(7,3,1)(8,3)(7)&=&Ψ^0_Ω(Ξ(3)+Ψ^0_{Ψ^1_{Ψ^2_{Ξ(3)}(Ψ^1_{Ξ(3)}(Ξ(3)))}(Ξ(3)+1)}(Ξ(3)+2))\\ \\(0)(1,1,1)(2,1,1)(3,1,1)(4,1)\\(2)&=&Ψ^0_Ω(K)\\(0)(1,1,1)(2,1,1)(3,1,1)(4,1)\\(5,2)&=&Ψ^0_Ω(φ_1(K+1))\\(0)(1,1,1)(2,2)&=&\text{pDAN}\\(0)(1,1,1)(2,2,1)(2,2)&=&\text{sDAN}\\(0)(1,1,1)(2,2,1)(3)&=&\text{DAN}\end{array}

特に記載のない限り、コミュニティのコンテンツはCC-BY-SA ライセンスの下で利用可能です。