CaltechAUTHORS
  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. http://resolver.caltech.edu/CaltechAUTHORS:20130524-135424900

[img]
Preview
PDF - Published Version
See Usage Policy.

205Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechAUTHORS:20130524-135424900

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.


Item Type:Article
Related URLs:
URLURL TypeDescription
http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.jsl/1183739301PublisherUNSPECIFIED
http://www.jstor.org/stable/2272264PublisherUNSPECIFIED
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.
Funders:
Funding AgencyGrant Number
NSFP-29079
Other Numbering System:
Other Numbering System NameOther Numbering System ID
MathSciNet ReviewMR0432432
Zentralblatt MATH Identifier 0312.02033
Record Number:CaltechAUTHORS:20130524-135424900
Persistent URL:http://resolver.caltech.edu/CaltechAUTHORS:20130524-135424900
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
Collection:CaltechAUTHORS
Deposited By: Ruth Sustaita
Deposited On:28 May 2013 15:23
Last Modified:13 Feb 2019 18:05

Repository Staff Only: item control page