Abstract
In this paper, we present proofs of properties of semirecursive sets based directly on the definition of these sets and on the recursiveness of Kleene predicates. These proofs are shorter and clearer than traditional proofs of similar statements for recursively enumerable sets.
Similar content being viewed by others
References
N. Cutland, Computability. An Introduction to Recursive Function Theory, Cambridge Univ., Cambridge (1980).
S. C. Kleene, Introduction to Metamathematics, P. Noordhoff, Groningen (1959).
A. I. Malcev, Algorithms and Recursive Functions [in Russian], Nauka, Moscow (1986).
H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill (1967).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Itogi Nauki i Tekhniki, Seriya Sovremennaya Matematika i Ee Prilozheniya. Tematicheskie Obzory, Vol. 179, Proceedings of the International Conference “Classical and Modern Geometry” Dedicated to the 100th Anniversary of Professor Vyacheslav Timofeevich Bazylev. Moscow, April 22-25, 2019. Part 1, 2020.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Timofeeva, I.L. On Proofs of Properties of Semirecursive Sets. J Math Sci 276, 423–427 (2023). https://doi.org/10.1007/s10958-023-06759-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10958-023-06759-6
Keywords and phrases
- semirecursive set
- semicharacteristic function
- recursively enumerable set
- partially recursive function
- recursive function
- Kleene predicate