User blog comment:Sait2000/Base-k Arrow Notation/@comment-10429372-20141216163525/@comment-1605058-20141216180631

I don't see any discussion of it at Talk:Goodstein sequence.