Foundations of recursive model theory

Theory of Recursive Functions and Effective Computability

D. C. Cooper · The Computer Journal · 1969 · 2.6K citations · Full text

Computing, Computer Science, Mathematics +14

An introduction to recursively saturated and resplendent models

Jon Barwise, John S. Schlipf · Journal of Symbolic Logic · 1976 · 100 citations

Natural Sciences, Computer Science, Mathematics +9

Recursively presentable prime models

Leo Harrington · Journal of Symbolic Logic · 1974 · 88 citations

Humanities, Computer Science, Mathematics +9

Decidable models

Michael Morley · Israel Journal of Mathematics · 1976 · 50 citations