User blog comment:Deedlit11/Ordinal Notations IV: Up to a weakly inaccessible cardinal/@comment-7484840-20130709082828/@comment-1605058-20130709083919

Kripke-Platek set theory with "there exists inaccessible cardinal", I believe