𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Enumerations of canonically calculable families of finite sets

✍ Scribed by V. L. Selivanov


Book ID
112451024
Publisher
SP MAIK Nauka/Interperiodica
Year
1978
Tongue
English
Weight
673 KB
Volume
18
Category
Article
ISSN
0037-4466

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


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