It is shown that, for every k greater than or equal to O and every fix
ed algorithmically random language B, there is a language that is poly
nomial-time, truth-table reducible in k + 1 queries to B but not truth
-table reducible in k queries in any amount of time to any algorithmic
ally random language C. In particular, this yields the separation P-k-
tt(RAND) not subset of or equal to P-(k+1-tt)(RAND), where RAND is the
set of all algorithmically random languages. (C) 1995 Academic Press,
Inc.