Recursive in A Generic Real

There is a comeager set C contained in the set of 1-generic reals and a first order structure M such that for any real number X, there is an element of C which is recursive in X if and only if there is a presentation of M which is recursive in X.

• Type: Journal
• Year: 2000
• Where: JSYML
• Authors: Juichi Shinoda, Theodore A. Slaman
• Keywords: 1-generic Reals, JSYML 2000, Order Structure, Real Number