Robert Solovay Explicit Henkin Sentences. 91-93 1985 50 J. Symb. Log. 1 db/journals/jsyml/jsyml50.html#Solovay85