There is no fat orbit (1996)

by R Downey, L Harrington
Venue:Ann. Pure Appl. Logic