19/01/21 13:43:09.40 bZLMBWf5.net
a,n,m := 0以上の整数
X := 0個以上の0以上の整数
b#a := a個のb
b#a+c := b#(a+c)
A_0(0#a,n)=n+1
A_0(X,m+1,0#a+1)=A_0(X,m,1#a+1)
A_0(X,m+1,0#a,n+1)=A_0(X,m,A_0(X,m+1,0#a,n)#a+1)
A_1(0#a,n)=A_0(n#n)
A_1(X,m+1,0#a+1)=A_1(X,m,1#a+1)
A_1(X,m+1,0#a,n+1)=A_1(X,m,A_1(X,m+1,0#a,n)#a+1)
A_2(0#a,n)=A_1(n#n)
A_2(X,m+1,0#a+1)=A_2(X,m,1#a+1)
A_2(X,m+1,0#a,n+1)=A_2(X,m,A_2(X,m+1,0#a,n)#a+1)
A_3(0#a,n)=A_2(n#n)
上記の定義のとき
A_1(n)がF_ω^ω(n)の強さだとわかるのですが
A_2(n)、A_3(n)の強さはどれぐらいなのでしょうか？