Vol. 18, No. 2, 1966

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 323: 1
Vol. 322: 1  2
Vol. 321: 1  2
Vol. 320: 1  2
Vol. 319: 1  2
Vol. 318: 1  2
Vol. 317: 1  2
Vol. 316: 1  2
Online Archive
Volume:
Issue:
     
The Journal
Subscriptions
Editorial Board
Officers
Contacts
 
Submission Guidelines
Submission Form
Policies for Authors
 
ISSN: 1945-5844 (e-only)
ISSN: 0030-8730 (print)
Special Issues
Author Index
To Appear
 
Other MSP Journals
Many-one degrees of the predicates Ha (x)

Yiannis (John) Nicolas Moschovakis

Vol. 18 (1966), No. 2, 329–342
Abstract

Spector proved in his Ph. D. Thesis that if |a| = |b|(a,b O), then Ha(x) and Hb(x) have the same degree of unsolvability; Davis had already shown that if |a| = |b| < ω2, then Ha(x) and Hb(x) are in fact recursively isomorphic, i.e.,

Ha(x) ≡ Hb (f (x)),
(1)

where f(x) is a recursive permutation.

In this note we prove that if |a| = |b| = ξ, then Ha(x) and Hb(x) need not have the same many-one degree, unless ξ = 0 or is of the form η + 1 or η + ω; if ξ0 is not of the form η + 1 or η + ω, then the partial ordering of the many-one degrees of the predicates Ha(x) with |a| = ξ contains well-ordered chains of length ω1 as well as incomparable elements. The proof rests on a combinatorial result which relates the many-one degree of Ha(x)(a= 3.5a O) to the rate with which the sequence of ordinals |an| approaches |a′|.

Mathematical Subject Classification
Primary: 02.77
Milestones
Received: 26 December 1964
Published: 1 August 1966
Authors
Yiannis (John) Nicolas Moschovakis