User blog comment:B1mb0w/Strong D Function/@comment-1605058-20150624061803/@comment-203.8.118.50-20150702043522

Hi. I wanted to return to this comment.

I dont understand transfinite induction proofs but I do accept that the above proof is sound.

However, you starting assumption for D(n,n,n,...,n) etc  is unfounded. It seems you are assuming away any potential strength in the function and then proving the assumed function cannot reach epsilon nought.

If you change your assumption to D(2,x_1,x_2) can be connected to an ordinal F(x_1.....,     then I expect the proof will show that no values of D(2,m,n) wil exceed epsilon_0.  And I accept this as well.  D(3,m,n) however, seems to have the desired strength.

I plan to double-check my work, and attack this one or two other ways to satisfy myself that I have not made a mistake.

Thanks for all your help on all my blogs.

B1mb0w