Mathematics – Logic
Scientific paper
2008-01-14
Mathematics
Logic
Scientific paper
In this paper we use the Recursion Theorem to show the existence of various infinite sequences and sets. Our main result is that there is an increasing sequence e_0, e_1, e_2 .. such that W_{e_n}={e_{n+1}} for every n. Similarly, we prove that there exists an increasing sequence such that W_{e_n}={e_{n+1},e_{n+2},...} for every n. We call a nonempty computably enumerable set A self-constructing if W_e=A for every e in A. We show that every nonempty computable enumerable set which is disjoint from an infinite computable set is one-one equivalent to a self-constructing set
No associations
LandOfFree
The Recursion Theorem and Infinite Sequences 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 The Recursion Theorem and Infinite Sequences, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Recursion Theorem and Infinite Sequences will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-634562