Christopher J. Ash

Learn More
Let d be a recursive L-structure, and let R be an additional relation on ~2. In this paper, we continue the investigation of possible images of R under an isomorphism from &’ onto a recursive structure. Ash and Nerode [2] began the investigation by giving recursive-syntactical conditions under which the image can be made not recursive, or not r.e. Harizanov(More)