[Cover] [Contents] [Index] Previous page Next Section

Page 164
7-3 Here we work through the proof of Lemma 7.3. Fix an r.e. set A with index i and an 0164-001.gif. We shall construct B, a recursive subset of A with 0164-002.gif.
Choose a rational number q and integer n such that 0164-003.gif. Let x0 = 0; let x1 be the least number > 0 such that, for all 0164-004.gif, 0164-005.gif, and for each s > 0, let xs+1 = 2nxs. Let 0164-006.gif; for each s > 0, let ts be the least number such that, for each 0164-007.gif, 0164-008.gif; and let 0164-009.gif. Finally, set 0164-010.gif.
(a) Show that there exists an x1 as claimed.
(b) Show that, for each s > 0, there exists a ts as claimed. Use this to show that B is a recursive subset of Wi.
(c) Fix an s > 0. Show that 0164-011.gif and thus, for each 0164-012.gif, 0164-013.gif.
(d) Fix an s > 0. Use part (c) and our choice of ts to show that, for all 0164-014.gif, 0164-015.gif.
(e) Use part (d) to conclude that 0164-016.gif.
7-4 (Advanced) Show the following.
(a) 0164-017.gif is  P 4-complete.
(b) 0164-018.gif is a  D 4 set. Conclude that not every density 1 r.e. set has a density 1 recursive subset.
7-5 We prove the claim in the proof of Lemma 7.9. Let r = m/n; let q be a rational
number in 0164-019.gif; let 0164-020.gif; and let 0164-021.gif with 0164-022.gif.
(a) Show that, for all x, 0164-023.gif.
(b) Show that for each 0164-024.gif there is an x0 such that, for all 0164-025.gif, 0164-026.gif.
(c) Show that 0164-027.gif.
7-6 Construct  p , a recursive isomorphism (i.e., a recursive permutation of N) and a set
A such that den(A) = 1 and 0164-028.gif, but den( p (A)) = 0 and 0164-029.gif.
7-7 We say that a set A is scattered if and only if, for all recursive, one-one f, 0164-030.gif.

 
[Cover] [Contents] [Index] Previous page Next Section