On Recursively Enumerable and Arithmetic Models of Set Theory.

Michael O. Rabin
Published in: J. Symb. Log. (1958)