User blog comment:Deedlit11/Ordinal Notations IV: Up to a weakly inaccessible cardinal/@comment-24509095-20140507175906/@comment-24509095-20140508115011

I guess so. It's still not economical, though.