User blog comment:Deedlit11/Ordinal Notations V: Up to a weakly Mahlo cardinal/@comment-10429372-20130721064019

How expands I(1,0)?