Arthur W. Apter Laver Indestructability and the Class of Compact Ordinals. 149-157 1998 63 J. Symb. Log. 1 db/journals/jsyml/jsyml63.html#Apter98