Every 1-generic computes a properly 1-generic

Barbara F. Csima, Rod Downey, Noam Greenberg, Denis R. Hirschfeldt, Joseph S. Miller. Every 1-generic computes a properly 1-generic. Journal of Symbolic Logic, 71(4):1385-1393, 2006. [doi]

Abstract

Abstract is missing.