Xavier Caicedo A Simple Solution to Friedman's Fourth Problem. 778-784 1986 51 J. Symb. Log. 3 db/journals/jsyml/jsyml51.html#Caicedo86