Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published March 1975 | Published
Journal Article Open

On Characterizing Spector Classes

Abstract

We study in this paper characterizations of various interesting classes of relations arising in recursion theory. We first determine which Spector classes on the structure of arithmetic arise from recursion in normal type 2 objects, giving a partial answer to a problem raised by Moschovakis [8], where the notion of Spector class was first essentially introduced. Our result here was independently discovered by S. G. Simpson (see [3]). We conclude our study of Spector classes by examining two simple relations between them and a natural hierarchy to which they give rise.

Additional Information

© 1975, Association for Symbolic Logic. Received September 1, 1973. During the preparation of this paper the second author was partially supported by NSF grant P-29079.

Attached Files

Published - 2272264.pdf

Files

2272264.pdf
Files (210.3 kB)
Name Size Download all
md5:d915b327434075b4e0aed7d18883454a
210.3 kB Preview Download

Additional details

Created:
August 19, 2023
Modified:
March 5, 2024