Definability and Descent. - David Ballard; William Boshuck (J. Symb. Log., 1998)