User blog comment:SuperSpruce/Can someone teach me how Rathjen’s OCF works?/@comment-35470197-20190723090522/@comment-36984051-20190723115932

I would like to know how Rathjen’s OCF based on a weakly Mahlo Cardinal works, as in how the Mahlo cardinals collapse into smaller ones. I would also like to know how the χ function works.