Sherman K. Stein Full Classes and Ordinals. 217-219 1960 25 J. Symb. Log. 3 db/journals/jsyml/jsyml25.html#Stein60