Addendum to “computably enumerable sets and quasi-reducibility”
✍ Scribed by R. Downey; G. LaForte; A. Nies
- Publisher
- Elsevier Science
- Year
- 1999
- Tongue
- English
- Weight
- 29 KB
- Volume
- 98
- Category
- Article
- ISSN
- 0168-0072
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
## Abstract Computable limits and colimits are “recursive counterparts” of the suitable classical concepts from category theory. We present mainly some interesting problems related to computable products. Moreover, some “computable counterparts” of well‐known classical facts from category theory ar
We distinguish self-reducibility of a language L with the question of whether search reduces to decision for L. Results include: (i) If NE{E, then there exists a set L in NP&P such that search reduces to decision for L, search does not nonadaptively reduce to decision for L and L is not self-reducib