FOM: Recursion theory question
Robert M. Solovay
solovay at math.berkeley.edu
Fri Feb 22 13:07:11 EST 2002
On Wed, 20 Feb 2002, Schaefer, Marcus wrote:
> 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.
>
> The generalized Arslanov completeness criterion
> for n-REA operators is from
>
> Jockusch, Lerman, Soare, Solovay
> Recursively enumerable sets modulo iterated jumps
> and extensions of Arslanov's completeness criterion.
> J. Symbolic Logic 54 (1989), no. 4, 1288--1323.
>
Marcus,
Could you give the precise definition of 3-REA. Also could you
give the statement of the generalized Arslanov completeness criterion you
are citing from the four author paper.
Thanks,
Bob Solovay
More information about the FOM
mailing list