Abstract:
We study limitwise monotonic sets and pairs of sets. We investigate the properties of limitwise monotonic reducibility between sets and pairs of sets defined in terms of $\Sigma$-reducibility corresponding to initial segment of sets. In addition, we obtain a description of $\Sigma$-reducibility of families of a special form in terms of $lm$-reducibility. At the same time we show the relationship of concepts of $lm$-reducibility and $\Sigma$-reducibility between the pairs of sets.
Keywords:computable functions, $\Sigma$-reducibility, $\Sigma^0_2$-sets, limitwise monotonic function, limitwise monotonic sets, limitwise monotonic reducibility, pair of sets, family of subsets of natural numbers.
UDC:510.5
Presented by the member of Editorial Board:M. M. Arslanov Received: 11.09.2015