User blog comment:Vel!/FGH Gripe/@comment-5982810-20150325004329/@comment-2033667-20150326175401


 * Correct me if I'm wrong, do you mean to say your "dominates over" is a replacement for "comparable to"? If so that's not what I mean by offering an alternative.

No, I am saying that -- as an example -- the vague, unproven assertion "BH(n) is comparable to f_TFB(n)" should be replaced with "BH(n) eventually dominates all functions provably total recursive in Pi11-CA0+BI." The latter statement should be absolutely uncontroversial, since it is a well-defined statement that was actually proven by Buchholz. I'm advocating for chucking the first statement for reasons that I've already argued about (and I have more to come).