User blog comment:CatIsFluffy/Introduction to OCFs/@comment-35470197-20190915233241/@comment-35392788-20190916082750

A Mahlo limit of Mahlos is not a 1-Mahlo. In Rathjen's weakly compact OCF, the former is Psi^2_Xi(3)(Xi(3)), while the latter is Xi(3)