> > Unfortunately I made a mistake, the set > A = {n: max(W_e) = n for some e<n} is not d.c.e, > but it is 3-REA, so the result still follows. > I made another mistake. My proof that A is 3-REA does not work. So the problem remains open. Marcus