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

> Weakly Mahlos

Why are you using two distinct symbols \(M(1,0)\) and \(N\) expressing the same cardinal? Since your explanation says that you introduced \(N\) so that you could add \(M(a,b)\), you might misunderstand the definition of \(N\).

> Weakly compacts

> The limit of this notation is now the first ordinal \(\alpha\) that is \(\alpha\)-weakly Mahlo.

No. Since you do not use \(K\) in this construction, this notation is not even near the weakly hyper Mahlo cardinal. It is just bounded by the singular cardinal \(\Xi(\cdots \Xi(0)\cdots)\).