Leo Harrington. Recursively presentable prime models. The journal of symbolic logic, vol. 39 (1974), pp. 305–309. - Terrences. Millar. Foundations of recursive model theory. Annals of mathematical logic, vol. 13 (1978), pp. 45–72. - Terrence S. Millar. A complete, decidable theory with two decidable models. The journal of symbolic logic, vol. 44 (1979), pp. 307–312.
C. J. Ash · Journal of Symbolic Logic · 1984
Leo Harrington. Recursively presentable prime models. The journal of symbolic logic, vol. 39 (1974), pp. 305–309. - Terrences. Millar. Foundations of recursive model theory. Annals of mathematical logic, vol. 13 (1978), pp. 45–72. - Terrence S. Millar. A complete, decidable theory with two decidable models. The journal of symbolic logic, vol. 44 (1979), pp. 307–312. - Volume 49 Issue 2