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

Maybe not new, but useful for FS as your post shows