Harvey Friedman One Hundred and Two Problems in Mathematical Logic. 113-129 1975 40 J. Symb. Log. 2 db/journals/jsyml/jsyml40.html#Friedman75