Index sets of decidable models

Theory of Recursive Functions and Effective Computability.

Solomon Feferman, Hartley Rogers · American Mathematical Monthly · 1969 · 2.8K citations

Computing, Computer Science, Mathematics +14

Theory of Recursive Functions and Effective Computability

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

Computing, Computer Science, Mathematics +14

Computable Structure and Non-Structure Theorems

Julia F. Knight · Algebra and Logic · 2002 · 109 citations

Computing, Computer Science, Mathematics +14

Theory of Numberings.

Yuri L. Ershov · 1999 · 100 citations

Problem of the number of non-self-equivalent constructivizations

Algebra and Logic · 1980 · 94 citations

Natural Sciences, Mathematics, Combinatorics +4