|
This article is cited in 3 scientific papers (total in 3 papers)
Computable positive and Friedberg numberings in hyperarithmetic
I. Sh. Kalimullina, V. G. Puzarenkobc, M. Kh. Faizrakhmanova a Kazan (Volga Region) Federal University
b Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
c Novosibirsk State University
Abstract:
We point out an existence criterion for positive computable total
$\Pi^1_1$-numberings of families of subsets of a given
$\Pi^1_1$-set. In
particular, it is stated that the family of all
$\Pi^1_1$-sets has no
positive computable total
$\Pi^1_1$-numberings. Also we obtain a criterion
of existence for computable Friedberg
$\Sigma^1_1$-numberings of families of
subsets of a given
$\Sigma^1_1$-set, the consequence of which is the absence
of a computable Friedberg
$\Sigma^1_1$-numbering of the family of all
$\Sigma^1_1$-sets. Questions concerning the existence of negative computable
$\Pi^1_1$- and $\Sigma^1_1$-numberings of the families mentioned are considered.
Keywords:
computable numbering, admissible set, analytical hierarchy, positive
numbering, Friedberg numbering, negative numbering.
Received: 28.10.2018 Revised: 30.04.2018
Citation:
I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrakhmanov, “Computable positive and Friedberg numberings in hyperarithmetic”, Algebra Logika, 59:1 (2020), 66–83; Algebra and Logic, 59:1 (2020), 46–58
Linking options:
https://www.mathnet.ru/eng/al935 https://www.mathnet.ru/eng/al/v59/i1/p66
|
Statistics & downloads: |
Abstract page: | 338 | Full-text PDF : | 26 | References: | 40 | First page: | 14 |
|