User blog comment:Wythagoras/BEAF:structures and ordinals/@comment-5029411-20131211214323

{X,X*n,2} = z(n-1)

{X,X^2,2} = z(w)

{X,X,3} = eta(0)

{X,X,n} = phi(n-1,0)

{X,X,X} = phi(w,0)

{X,X,1,2} = Gamma(0)

{X,X,n,2} = phi(1,n-1,0)

{X,X,1,3} = phi(2,0,0)

{X,X,1,X} = phi(w,0,0)

{X,X,1,1,2} = phi(1,0,0,0)

Lemma 3:

{X,X,n} = phi(n,0), if n > omega.