Geodesic
$\Sigma$-reducibility and $lm$-reducibility of sets and sequences of sets
Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, Tome 158 (2016) no. 1, pp. 51-65 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice du chapitre de livre

Limitwise monotonic sets, pairs of sets, and sequences consisting of infinite sets are studied in the paper. The main properties of limitwise monotonic reducibility between two sets, as well as between the set and a pair of sets defined in terms of $\Sigma$-reducibility of the corresponding families of a special form, are considered. In addition, description of $\Sigma$-reducibility of the families of a special form in terms of $lm$-reducibility is obtained. The relationship between the concepts of $lm$-reducibility of the sequences of sets and $\Sigma$-reducibility of the families of a special form for the sequences of sets is demonstrated.
Keywords: computable function, $\Sigma$-reducibility, limitwise monotonic function, limitwise monotonic sets, limitwise monotonic reducibility, sequence of infinite sets, family of subsets of natural numbers. 
@article{UZKU_2016_158_1_a3,
     author = {D. Kh. Zainetdinov},
     title = {$\Sigma$-reducibility and $lm$-reducibility of sets and sequences of sets},
     journal = {U\v{c}\"enye zapiski Kazanskogo universiteta. Seri\^a Fiziko-matemati\v{c}eskie nauki},
     pages = {51--65},
     year = {2016},
     volume = {158},
     number = {1},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/UZKU_2016_158_1_a3/}
}
TY  - JOUR
AU  - D. Kh. Zainetdinov
TI  - $\Sigma$-reducibility and $lm$-reducibility of sets and sequences of sets
JO  - Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
PY  - 2016
SP  - 51
EP  - 65
VL  - 158
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/UZKU_2016_158_1_a3/
LA  - ru
ID  - UZKU_2016_158_1_a3
ER  - 
%0 Journal Article
%A D. Kh. Zainetdinov
%T $\Sigma$-reducibility and $lm$-reducibility of sets and sequences of sets
%J Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
%D 2016
%P 51-65
%V 158
%N 1
%U http://geodesic.mathdoc.fr/item/UZKU_2016_158_1_a3/
%G ru
%F UZKU_2016_158_1_a3
D. Kh. Zainetdinov. $\Sigma$-reducibility and $lm$-reducibility of sets and sequences of sets. Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, Tome 158 (2016) no. 1, pp. 51-65. http://geodesic.mathdoc.fr/item/UZKU_2016_158_1_a3/

[1] Goncharov S., Harizanov V., Knight J., McCoy C., Miller R., Solomon R., “Enumerations in computable structure theory”, Ann. Pure Appl. Logic, 136:3 (2005), 219–246 | DOI | MR | Zbl

[2] Kalimullin I. Sh., Puzarenko V. G., “Reducibility on families”, Algebra Logic, 48:1 (2009), 20–32 | DOI | MR | Zbl

[3] Kalimullin I., Khoussainov B., Melnikov A., “Limitwise monotonic sequences and degree spectra of structures”, Proc. Amer. Math. Soc., 141:9 (2013), 3275–3289 | DOI | MR | Zbl

[4] Khoussainov B., Nies A., Shore R., “Computable models of theories with few models”, Notre Dame J. Formal Logic, 38:2 (1997), 165–178 | DOI | MR | Zbl

[5] Downey R. G., Kach A. M., Turetsky D., “Limitwise monotonic functions and their applications”, Proc. 11th Asian Logic Conf., World Sci. Publ., Hackensack, NJ, 2011, 59–85 | MR

[6] Zainetdinov D. Kh., Kalimullin I. Sh., “On limitwise monotonic reducibility of $\Sigma^0_2$-sets”, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 154, no. 1, 2014, 22–30 (In Russian)

[7] Faizrahmanov M., Kalimullin I., Zainetdinov D., “Maximality and minimality under limitwise monotonic reducibility”, Lobachevskii J. Math., 35:4 (2014), 333–338 | DOI | MR | Zbl