Fixed point theorems for minimal numberings
M. Kh. FaĭzrahmanovVolga Region Scientific-Educational Centre of Mathematics, Kazan (Volga Region) Federal University , 35 Kremlevskaya Str., 420008, Kazan, Russia
2023en
ABI
Abstract
Abstract This paper considers various forms of the fixed point theorem (Kleene’s recursion theorem with and without parameters, Arslanov’s and Ershov’s recursion theorems) in arbitrary numberings. We prove that the classes of minimal numberings satisfying different of the listed forms of the fixed point theorem are pairwise distinct.
Identifiers
Citations and references
Cited by 20 references