Annals of Pure and Applied Logic · 2005 · 59 citations · 25 references
Natural SciencesMathematicsSet TheoryCategory TheoryClassificationComputable CategoricityEquivalence ClassesEquivalences Of CategoriesLanguage EquivalenceSyntactic Equivalence
25
Recursively enumerable sets and degrees
Robert I. Soare · Bulletin of the American Mathematical Society · 1978 · 1.6K citations · Full text
Generic copies of countable structures
Chris Ash, Julia F. Knight, Mark S. Manasse et al. · Annals of Pure and Applied Logic · 1989 · 149 citations
Effective content of field theory
G. Metakides, Anil Nerode · Annals of Mathematical Logic · 1979 · 141 citations
V. D. Dzgoev · Algebra and Logic · 1980 · 129 citations