A Caltech Library Service

On Characterizing Spector Classes

Harrington, Leo A. and Kechris, Alexander S. (1975) On Characterizing Spector Classes. Journal of Symbolic Logic, 40 (1). pp. 19-24. ISSN 0022-4812.

PDF - Published Version
See Usage Policy.


Use this Persistent URL to link to this item:


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.

Item Type:Article
Related URLs:
URLURL TypeDescription
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.
Funding AgencyGrant Number
Other Numbering System:
Other Numbering System NameOther Numbering System ID
MathSciNet ReviewMR0432432
Zentralblatt MATH Identifier 0312.02033
Issue or Number:1
Record Number:CaltechAUTHORS:20130524-135424900
Persistent URL:
Official Citation:On Characterizing Spector Classes Leo A. Harrington and Alexander S. Kechris; 19-24
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:38671
Deposited By: Ruth Sustaita
Deposited On:28 May 2013 15:23
Last Modified:03 Oct 2019 04:59

Repository Staff Only: item control page