FOM: Recursion theory question

[Robert M. Solovay]

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