RUS  ENG
Full version
JOURNALS // Itogi Nauki i Tekhniki. Sovremennaya Matematika i ee Prilozheniya. Tematicheskie Obzory // Archive
Itogi Nauki i Tekhniki. Sovrem. Mat. Pril. Temat. Obz., 2020 Volume 179, Pages 73–77 (Mi into629)
On proofs of properties of semirecursive sets

I. L. Timofeeva

Moscow State Pedagogical University

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.

Keywords: semirecursive set, semicharacteristic function, recursively enumerable set, partially recursive function, recursive function, Kleene predicate.

UDC: 510.5

MSC: 03D25

DOI: 10.36535/0233-6723-2020-179-73-77



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025