RUS  ENG
Full version
JOURNALS // Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki // Archive

Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 2018 Volume 160, Book 3, Pages 517–527 (Mi uzku1475)

Structural properties of limitwise monotonic reducibility of sequences of sets

D. Kh. Zainetdinov

Kazan Federal University, Kazan, 420008 Russia

Abstract: 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.

UDC: 510.5

Received: 24.12.2017



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024