The function collapsing weakly Mahlo cardinals

Fundamental sequences on this page were defined by me in October 2017 on base of Hypcos’ general approach.

References

Hyp_cos’ posts: [1], [2]