Tomek Bartoszynski Haim Judah Jumping with Random Reals. 197-213 1990 48 Ann. Pure Appl. Logic 3 db/journals/apal/apal48.html#BartoszynskiJ90