User blog comment:Wythagoras/Hydra machines/@comment-24061664-20140825074000/@comment-1605058-20140825163413

How do you know that? I don't want to fight over "different fundamental sequence results mean nothing" stuff, but I thought Buchholz's original definition is significantly weaker.