Every 1-generic computes a properly 1-generic

Abstract. A real is called properly n-generic if it is n-generic but not n + 1generic. We show that every 1-generic real computes a properly 1-generic real. On the other hand, if m > n 2 then an m-generic real cannot compute a properly n-generic real.

• Type: Journal
• Year: 2006
• Where: JSYML
• Authors: Barbara F. Csima, Rod Downey, Noam Greenberg, Denis R. Hirschfeldt, Joseph S. Miller
• Keywords: JSYML 2006, M-generic Real, Show