FOM: Recursion theory question

Robert M. Solovay solovay at
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.


	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.

 	Bob Solovay

More information about the FOM mailing list