与0'构成极小对的ω- REA集
A ω-REA Set Forming A Minimal Pair With 0'
摘要：
很容易看出，没有n-REA集合可以与0'形成（非平凡的）最小对，并且仅稍微更难观察到没有ω-REA集合可以与0”形成（非平凡的）最小对。Shore问是否可以改进这一点，以表明没有ω-REA集合与0 '形成（非平凡的）最小对。我们表明，没有这样的改进是可能的，通过构造一个不可计算的集合C可计算从0”形成一个最小的对0 '。然后，我们证明了没有α-REA集可以形成一个（非平凡的）最小对0”。
英文摘要：
It is easy to see that no n-REA set can form a (non-trivial) minimal pair with 0' and only slightly more difficult to observe that no ω-REA set can form a (non-trivial) minimal pair with 0". Shore has asked whether this can be improved to show that no ω-REA set forms a (non-trivial) minimal pair with 0'. We show that no such improvement is possible by constructing a non-computable set C computable from 0" forming a minimal pair with 0'. We then show that no α-REA set can form a (non-trivial) minimal pair with 0".
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
