Odifreddi doesn't give a cite (at least in proposition XI.2.10) for the proposition that every non-zero r.e. degree computes a 1-generic. What paper should I cite for this proposition?



Cite for fact that every r.e. degree bounds a 1-generic
For the benefit of others, I emailed Shore and asked him about it and he told me that while he had assumed when he proved it that it wasn't a novel result he never actually found any earlier proof (much less a publication). So, absent contrary evidence turning up I think it's Shore who should get the citation for the claim. I've reproduced the citation he gave me from his email.



> 
> The Turing Degrees: An Introduction, in Forcing, Iterated Ultrapowers, and Turing Degrees, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore 29, eds. Chong Chi Tat, Feng Qi, Yang Yue, Theodore Slaman and Hugh Woodin, World Scientific Publishing, 2015, 39-121.
> 
> 
> It appears as Corollary 5.2.8 which is a special case of a general statement (Theorem 5.6).
> 
> 
> 


