@article{1183739047, author = {Harrington, Leo}, title = {Recursively Presentable Prime Models}, journal = {J. Symbolic Logic}, volume = {39}, number = {1}, year = {1974}, pages = { 305-309}, language = {en}, url = {http://dml.mathdoc.fr/item/1183739047} }
Harrington, Leo. Recursively Presentable Prime Models. J. Symbolic Logic, Tome 39 (1974) no. 1, pp. 305-309. http://gdmltest.u-ga.fr/item/1183739047/