Hostname: page-component-78c5997874-j824f Total loading time: 0 Render date: 2024-11-16T15:19:39.832Z Has data issue: false hasContentIssue false

Post's problem and his hypersimple set1

Published online by Cambridge University Press:  12 March 2014

Carl G. Jockusch Jr.
Affiliation:
University of Illinois, Urbana, Illinois 61801
Robert I. Soare
Affiliation:
University of Illinois at Chicago Circle, Chicago, Illinois 60680

Extract

A standard enumeration of the recursively enumerable (r.e.) sets is an acceptable numbering {Wn}nN of the r.e. sets in the sense of Rogers [5, p. 41], together with a 1:1 recursive function f with range In his quest for nonrecursive incomplete r.e. sets Post [4] constructed a hypersimple set Hf, relative to a fixed but unspecified standard enumeration f. Although it was later shown that hyper-simplicity does not guarantee incompleteness, the ironic possibility remained that Post's own particular hypersimple set might be incomplete. We settle the question by proving that H, may be either complete or incomplete depending upon which standard enumeration f is used. In contrast, D. A. Martin has shown [3] that Post's simple set S [4, p. 298] is complete for any standard enumeration. Furthermore, what most modern recursion theorists would regard as the “natural” construction of a hypersimple set (which we give in §1) is also complete for any standard enumeration.

There are two conclusions to be drawn from these results. First, they substantiate the often repeated remark among recursion theorists that Post's hypersimple set construction is a precursor of priority constructions because priorities play a strong role, and because there is a great deal of “restraint” which tends to keep elements out of the set. Secondly, the results warn recursion theorists that more properties than might have been supposed depend upon which standard enumeration is chosen at the beginning of the construction of some r.e. set.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1973

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

1

This research was supported by National Science Foundation grants GP-29223 and GP-19958. In addition the second author was supported by a Senior Postdoctoral Fellowship and sabbatical from the University of Illinois at Chicago Circle.

References

REFERENCES

[1]Jockusch, C. G. Jr., and Soare, R. I., Degrees of members of Π10 classes, Pacific Journal of Mathematics, vol. 40 (1972), pp. 605616.Google Scholar
[2]Lachlan, A. H., Complete recursively enumerable sets, Proceedings of the American Mathematical Society, vol. 19 (1968), pp. 99102.CrossRefGoogle Scholar
[3]Martin, D. A., Completeness, the recursion theorem, and effectively simple sets, Proceedings of the American Mathematical Society, vol. 17 (1966), pp. 838842.Google Scholar
[4]Post, E. L., Recursively enumerable sets of positive integers and their decision problems, Bulletin of the American Mathematical Society, vol. 50 (1944), pp. 284316.CrossRefGoogle Scholar
[5]Rogers, H. Jr., Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967.Google Scholar
[6]Sacks, G. E., Degrees of unsolvability (revised edition), Annals of Mathematical Studies, No. 55, Princeton University Press, Princeton, New Jersey, 1966.Google Scholar
[7]Shoenfield, J. R., Degrees of unsolvability, North-Holland, Amsterdam, 1971.Google Scholar
[8]Soare, R. I., The Friedberg-Muchnik theorem re-examined, Canadian Journal of Mathematics, vol. 24 (1972), pp. 10701078.Google Scholar
[9]Soare, R. I., Automorphisms of the lattice of recursively enumerable sets. I: Maximal sets, Annals of Mathematics (to appear).Google Scholar
[10]Soare, R. I., Automorphisms of the lattice of recursively enumerable sets. II: Complete sets, Notices of the American Mathematical Society, vol. 19 (1972), p. A615. Abstract #696-02-5.Google Scholar