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