User blog comment:Simply Beautiful Art/Intuition behind the Mahlo OCF/@comment-35470197-20190830010552

By the way, I guess that the condition "\(\xi \in M \cap B(\alpha,\xi)\)" in the definition of \(\chi\) is not what you intend.