Касымов Н. Х., Дадажанов Р. Н.
Негативные плотные линейные порядки

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

N. Kh. Kasymov, R. N. Dadazhanov
Negative Dense Linear Orders

Considering dense linear orders, we establish their negative representability over every infinite negative equivalence, as well as uniformly computable separability by computable gaps and the productivity of the set of computable sections of their negative representations. We construct an infinite decreasing chain of negative representability degrees of linear orders and prove the computability of locally computable enumerations of the field of rational numbers.

DOI 10.17377/smzh.2017.58.611
Ключевые слова: нумерованные системы и морфизмы, негативные и позитивные линейные порядки, вычислимые последовательности и сечения, продуктивность вычислимых сечений, вычислимое пополнение, негативное представление поля рациональных чисел.

Полный текст статьи / Full texts:

• PDF file