Concepedia
Annals of Pure and Applied Logic · 1990 · 67 citations · 6 references
ComputingComputer ScienceAlgorithmsSyntaxData Structure AlgorithmsRecursion TheorySyntactic AnalysisRecursionRecursive FunctionsRecursive Structure
6
Recursive labelling systems and stability of recursive structures in hyperarithmetical degrees
C. J. Ash · Transactions of the American Mathematical Society · 1986 · 100 citations · Full text
Natural Sciences, Computer Science, Mathematics +13
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
Jon Barwise, John S. Schlipf · Journal of Symbolic Logic · 1976 · 70 citations
Categoricity in hyperarithmetical degrees
C. J. Ash · Annals of Pure and Applied Logic · 1987 · 60 citations
Natural Sciences, Mathematics, Algebra +7
Stability of recursive structures in arithmetical degrees
C. J. Ash · Annals of Pure and Applied Logic · 1986 · 52 citations
Computing, Computer Science, Mathematics +14