User blog comment:Deedlit11/Ordinal Notations VII: Indescribables/@comment-26454151-20180120003501

Once you push this out, will it be based on Stegert's paper? I noticed that the OCFs for M and K were based of Rathjen, but Rathjen's approach for collapsing indescribables was waaay to complicated, and I heard somewhere that it had technical problems in it too.

If so, then I'm pretty hyped for this to come out. I've been trying to wrap my head around how these M-P expressions and reflection configurations come together to create a powerful OCF, but to no success. I hope that this blog post will make such work accessible to a wider audience.