Effective Enumerations of Families of Fi
β
Angel V. Ditchev
π
Article
π
1991
π
John Wiley and Sons
π
English
β 301 KB
We construct a universal r.e. set in the following manner: For any (n, x) we construct a set Un,, E 8 such that the set of all (z, n, x ) such that z E U,,,, is r.e. We construct the set Un,x by steps, and on step s we build a finite approximation U,,.x,s of U,,,,, and finally we take Let us describ