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

This basically extends the notion of your previous post but to omega fixed point