User blog comment:QuasarBooster/Second-order worms ordinal analysis dump/@comment-36984051-20190620230843/@comment-24923514-20190621155959

This isn't too important, but I'm just wondering: if the next fixed point of omega-exponentiation after ε_0 is the limit of ω^(ω^(...ω^(ε_0+1)...)), then wouldn't the third fixed point be the limit of ω^(ω^(...ω^(ε_0+2)...))? I get that adding one and omega-exponentiating is an easy way to get bigger fixed points but it feels like it would skip some, wouldn't it?