Recursion Theorems in Numbered Sets
The paper studies the relationships between various forms of the Recursion Theorem in arbitrary numbered sets. We prove that any at most countable set [Formula: see text] with [Formula: see text] has a non-precomplete numbering that satisfies Kleene’s recursion theorem with parameters and Arslanov’s recursion theorem, as well as a numbering that satisfies Kleene’s recursion theorem but does not satisfy either Kleene’s recursion theorem with parameters, nor Arslanov’s recursion theorem.
Authors
- M. Kh. Faĭzrahmanov (ORCID: https://orcid.org/0000-0002-4519-9696)
Institutions
- Kazan Federal University (RU)
Publication Details
- Journal
- International Journal of Foundations of Computer Science
- Published
- 2025-08-29
- DOI
- https://doi.org/10.1142/s0129054125500248
- Primary Topic
- Rough Sets and Fuzzy Logic
- Type
- article
- Field-Weighted Citation Impact
- 0.00