Michael Machtey Admissible Ordinals and Intrinsic Consistency. 389-400 1970 35 J. Symb. Log. 3 db/journals/jsyml/jsyml35.html#Machtey70