User blog comment:Deedlit11/Ordinal Notations V: Up to a weakly Mahlo cardinal/@comment-30004975-20180104233320/@comment-5529393-20180110084142

@PsiCubed2: Your analysis is correct.