Mathematical logic quarterly · 1996 · 15 citations · 12 references
Natural SciencesMathematicsAlgebraSet TheoryAbstract AlgebraAxiomatic Set TheoryRecursion TheoryRecursion TheoremRecursive SetsRecursive StructureSubject Classification
Abstract The main result proved in the paper is that on every recursive structure the intrinsically hyperarithmetical sets coincide with the relatively intrinsically hyperarithmetical sets. As a side effect of the proof an effective version of the Kueker's theorem on definability by means of infinitary formulas is obtained. Mathematics Subject Classification: 03D70, 03D75.
12
Theory of Recursive Functions and Effective Computability
D. C. Cooper · The Computer Journal · 1969 · 2.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 model theory vs. recursive model theory
John Chisholm · Journal of Symbolic Logic · 1990 · 105 citations