FOM: Recursion theory question

Schaefer, Marcus MSchaefer at
Fri Feb 22 14:18:28 EST 2002

> 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.


More information about the FOM mailing list