Abstract
Kleene and Post [2] have shown that between each degree a and its completion a′ there are an infinity of mutually incomparable degrees of unsolvability, and that between a and its nth. completion a(n) there are an infinity of mutually incomparable degrees each incomparable with a′, …, a(n−1). They have left open the following questions: whether there exist complete degrees in similar profusion; whether indeed there exist incomparable complete degrees at all; and whether certain degrees, such as a(ω) ([2] p. 401), are complete. All these questions are answered affirmatively by the corollary of the present paper, which states that every degree greater than or equal to 0′ is complete. Since every complete degree is already known to be greater than or equal to 0′, it follows from the present paper that being greater than or equal to 0′ is both a necessary and a sufficient condition for completeness.
Publisher
Cambridge University Press (CUP)
Reference3 articles.
1. Two recursively enumerable sets of incomparable degrees of unsolvability;Friedberg;Bulletin of the American Mathematical Society,1956
2. The Upper Semi-Lattice of Degrees of Recursive Unsolvability
3. Arithmetical predicates and function quantifiers
Cited by
61 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On Trees Without Hyperimmune Branches;Revolutions and Revelations in Computability;2022
2. HTP-COMPLETE RINGS OF RATIONAL NUMBERS;The Journal of Symbolic Logic;2021-11-22
3. Computable Categoricity;Computable Structure Theory;2021-07-31
4. Finite-Injury Constructions;Computable Structure Theory;2021-07-31
5. Comparing Structures and Classes of Structures;Computable Structure Theory;2021-07-31