Covariant Hom-Functors on the Category o
✍
Andrzej Orlicki
📂
Article
📅
1989
🏛
John Wiley and Sons
🌐
English
⚖ 918 KB
Let NSET be the category of enumerated sets. I n the ER&OV book [l] a lot has been said about the following problems related to this category. Let S, , S, be two enumerated sets. What assumptions about these sets should we accept in order to find "good" (i.e. principal computable) enumeration of the