Maurice Boffa More on an Undecidability Result of Bateman, Jockusch and Woods. 50 1998 63 J. Symb. Log. 1 db/journals/jsyml/jsyml63.html#Boffa98