Rodney G. Downey Leo Harrington There is No Fat Orbit. 277-289 1996 80 Ann. Pure Appl. Logic 3 db/journals/apal/apal80.html#DowneyH96