Julia F. Knight Skolem Functions and Elementary Embeddings. 94-98 1977 42 J. Symb. Log. 1 db/journals/jsyml/jsyml42.html#Knight77a