Sciweavers

JSYML
2000

Recursive in A Generic Real

13 years 11 months ago
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.
Juichi Shinoda, Theodore A. Slaman
Added 19 Dec 2010
Updated 19 Dec 2010
Type Journal
Year 2000
Where JSYML
Authors Juichi Shinoda, Theodore A. Slaman
Comments (0)