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
Binary Relations Over the Category of Enumerated Sets
β Scribed by A. Orlicki
- Publisher
- John Wiley and Sons
- Year
- 1988
- Tongue
- English
- Weight
- 747 KB
- Volume
- 34
- Category
- Article
- ISSN
- 0044-3050
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
In this paper we consider squarefree polynomials over finite fields whose gcd with their reciprocal and Frobenius conjugate polynomial is trivial, respectively. Our focus is on the enumeration of these special sets of polynomials, in particular, we give the number of squarefree palindromes. These in