О предельно монотонной сводимости $\Sigma_2^0$-множеств

Исследованы свойства lm-сводимости множеств, принадлежащих классу $\Sigma_2^0$. В частности, доказано существование несравнимых $\Sigma_2^0$-множеств относительно lm-сводимости. Кроме того, построена бесконечная равномерная последовательность несравнимых $\Sigma_2^0$-множеств относительно lm-сводимости, показано также отсутствие наибольшего $\Sigma_2^0$-множества относительно рассматриваемой сводимости.