User blog comment:Deedlit11/Ordinal Notations V: Up to a weakly Mahlo cardinal/@comment-24509095-20140509071457/@comment-24509095-20140510170416

But $$\theta(\Omega)[n]=\theta(\theta(\Omega)[n],\theta(\Omega)+1)$$.