User blog comment:Denis Maksudov/The extension of Buchholz's function/@comment-24920136-20170503033436

If the example is to be illustrative, i feel it would help if you took a little more time on the application normal form, specifically i think you could thin out the part where ω^a for a > Ω for more clarity, good addition to your blog tho, keep up the nice postings