Mathematics – Logic
Scientific paper
2010-12-04
Mathematics
Logic
Scientific paper
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 {\omega}-REA set can form a (non-trivial) minimal pair with 0". Shore has asked whether this can be improved to show that no {\omega}-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 {\alpha}-REA set can form a (non-trivial) minimal pair with 0".
No associations
LandOfFree
A ω-REA Set Forming A Minimal Pair With 0' does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A ω-REA Set Forming A Minimal Pair With 0', we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A ω-REA Set Forming A Minimal Pair With 0' will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-517254