Geodesic
Structural properties of limitwise monotonic reducibility of sequences of sets
Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, Tome 160 (2018) no. 3, pp. 517-527 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice du chapitre de livre

The paper is devoted to the study of limitwise monotonic sets, as well as to the investigation of the main structural properties of limitwise monotonic reducibility ($lm$-reducibility) between set and sequence of sets. Limitwise monotonic reducibility can be regarded as a special case of $\Sigma$-reducibility defined on families of initial segments of natural numbers. In this paper, $lm$-reducibility between set and sequence consisting of infinite sets has been considered in the language of the limitwise monotonic operator. The main result of this paper is the proof of the absence of the least non-limitwise monotonic sequence with respect to $lm$-reducibility between set and sequence of sets. This result as been proved with the help of the infinite injury priority method with the use of the tree of strategies. The result presented in this paper is a generalization of the result that there are no least non-limitwise monotonic $\Sigma^0_2$-set under $lm$-reducibility of sets.
Keywords: limitwise monotonic function, limitwise monotonic set, limitwise monotonic operator, limitwise monotonic reducibility, sequence of sets, $\Sigma^0_2$-set. 
@article{UZKU_2018_160_3_a7,
     author = {D. Kh. Zainetdinov},
     title = {Structural properties of limitwise monotonic reducibility of sequences of sets},
     journal = {U\v{c}\"enye zapiski Kazanskogo universiteta. Seri\^a Fiziko-matemati\v{c}eskie nauki},
     pages = {517--527},
     year = {2018},
     volume = {160},
     number = {3},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/UZKU_2018_160_3_a7/}
}
TY  - JOUR
AU  - D. Kh. Zainetdinov
TI  - Structural properties of limitwise monotonic reducibility of sequences of sets
JO  - Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
PY  - 2018
SP  - 517
EP  - 527
VL  - 160
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/UZKU_2018_160_3_a7/
LA  - ru
ID  - UZKU_2018_160_3_a7
ER  - 
%0 Journal Article
%A D. Kh. Zainetdinov
%T Structural properties of limitwise monotonic reducibility of sequences of sets
%J Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
%D 2018
%P 517-527
%V 160
%N 3
%U http://geodesic.mathdoc.fr/item/UZKU_2018_160_3_a7/
%G ru
%F UZKU_2018_160_3_a7
D. Kh. Zainetdinov. Structural properties of limitwise monotonic reducibility of sequences of sets. Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, Tome 160 (2018) no. 3, pp. 517-527. http://geodesic.mathdoc.fr/item/UZKU_2018_160_3_a7/

[1] Khisamiev N. G., “Criterion for constructivizability of a direct sum of cyclic $p$-groups”, Izv. Akad. Nauk Kaz. SSR Ser. Fiz.-Mat., 98:1 (1981), 51–55 (In Russian)

[2] Khisamiev N. G., “Arithmetic hierarchy of abelian groups”, Sib. Math. J., 29:6 (1988), 987–999 | DOI | MR | Zbl

[3] Khisamiev N. G., “Constructive abelian groups”, Stud. Logic Found. Math., 139 (1998), 1177–1231 | DOI | MR | Zbl

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

[5] 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

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

[7] Kach A., Turetsky D., “Limitwise monotonic functions, sets, and degrees on computable domains”, J. Symb. Logic, 75:1 (2010), 131–154 | DOI | MR | Zbl

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

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

[10] Zainetdinov D. Kh., “Limitwise monotonic reducibility on sets and on pairs of sets”, Russ. Math., 60:3 (2016), 85–88 | DOI | MR | Zbl

[11] 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

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

[13] Zainetdinov D. Kh., “$\Sigma$-reducibility and $lm$-reducibility of sets and sequences of sets”, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 158, no. 1, 2016, 51–65 (In Russian)