User blog comment:Googleaarex/Bashicu Matrix System Analysis (Part 1)/@comment-32697988-20170817141942

What is the type of the ordinal collapsing functions used here and User_blog:Googleaarex/Pair_sequence_number_analysis? Is it Buchholz's psi function?