Hostname: page-component-586b7cd67f-l7hp2 Total loading time: 0 Render date: 2024-11-25T07:11:08.287Z Has data issue: false hasContentIssue false
  • English
  • Français

Simplicity of recursively enumerable sets

Published online by Cambridge University Press:  12 March 2014

Robert W. Robinson
Robert W. Robinson*
Affiliation:
Cornell University and Institute for Advanced Study
Get access Rights & Permissions [Opens in a new window]

Extract

In §1 is given a characterization of strongly hypersimple sets in terms of weak arrays which is in appearance more restrictive than the original definition. §1 also includes a new characterization of hyperhypersimple sets. This one is interesting because in §2 a characterization of dense simple sets is shown which is identical in all but the use of strong arrays instead of weak arrays. Another characterization of hyperhypersimple sets, in terms of descending sequences of sets, is given in §3. Also a theorem showing strongly contrasting behavior for simple sets is presented. In §4 a r-maximal set which is not contained in any maximal set is constructed.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 32 , Issue 2 , August 1967 , pp. 162 - 172
Copyright
Copyright © Association for Symbolic Logic 1967

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.)

References

[1]Friedberg, R. M., Three theorems on recursive enumeration, this Journal, vol. 23 (1958), pp. 309–316.Google Scholar
[2]Kleene, S. C., Introduction to metamathematics, D. Van Nostrana, New York, 1952.Google Scholar
[3]Lachlan, A. H., On the lattice of r.e;. sets, Transactions of the American Mathematical Society (to appear).Google Scholar
[4]Martin, D. A., A theorem on hyperhypersimple sets, this Journal, vol. 28 (1963), pp. 273–278.Google Scholar
[5]Martin, D. A., Classes of recursively enumerable sets and degrees of unsolvability, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 295–310.CrossRefGoogle Scholar
[6]McLaughlin, T. G., Some observations on quasicohesive sets, Michigan mathematical journal, vol. 11 (1964), pp. 83–87.CrossRefGoogle Scholar
[7]Post, E. L., Sets of positive integers and their decision problems, Bulletin of the American Mathematical Society, vol. 50 (1944), pp. 284–316.CrossRefGoogle Scholar
[8]Rice, H. G., Recursive and recursively enumerable orders, Transactions of the American Mathematical Society, vol. 83 (1956), pp. 277–300.CrossRefGoogle Scholar
[9]Robinson, R. W., Two recursively enumerable sets, Abstract 626–8, Notices of the American Mathematical Society, vol. 12 (1965), pp. 692.Google Scholar
[10]Robinson, R. W., Two theorems on hyperhypersimple sets, Transactions of the American Mathematical Society (to appear).Google Scholar
[11]Rose, G. R. and Ullian, J. S., Approximation of functions on the integers, Pacific journal of mathematics, vol. 13 (1963), pp. 693–701.CrossRefGoogle Scholar
[12]Sacks, G. E., A maximal set which is not complete, Michigan mathematical journal, vol. 11 (1964), pp. 193–205.CrossRefGoogle Scholar
[13]Yates, C. E. M., Recursively enumerable sets and retracing functions, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 331–345.CrossRefGoogle Scholar
[14]Yates, C. E. M., Three theorems on the degrees of recursively enumerable sets, Duke mathematical journal, vol. 32 (1965), pp. 461–468.CrossRefGoogle Scholar
[15]Young, P. R., On the structure of recursively enumerable sets, Doctoral Dissertation, Massachusetts Institute of Technology, Cambridge, Mass., 1963.Google Scholar
[16]Young, P. R., Linear orderings under 1–1 reducibility, this Journal, vol. 31 (1966), pp. 70–85.Google Scholar