АЛГОРИТМИЧЕСКАЯ НЕЗАВИСИМОСТЬ ЕСТЕСТВЕННЫХ ОТНОШЕНИЙ НА ВЫЧИСЛИМЫХ ЛИНЕЙНЫХ ПОРЯДКАХ // Ученые записки КФУ. Физико-математические науки 2013 том155 N3

Abstract

Рассмотрены вопросы алгоритмической зависимости различных отношений на линейных порядках. Доказано, что отношения соседства, блока, плотности, предельности справа и предельности слева являются алгоритмически независимыми. Введены новые отношения, определимые в сигнатуре линейного порядка, являющиеся алгоритмически зависимыми, и изучены их свойства.