Аннотация:
Для плотных линейных порядков установлена их негативная представимость над всякой бесконечной негативной эквивалентностью, а также равномерно вычислимая отделимость вычислимыми щелями и продуктивность множества вычислимых сечений их негативных представлений. Построена бесконечно убывающая цепь степеней негативной представимости линейных порядков и доказана вычислимость локально вычислимых нумераций поля рациональных чисел.
Ключевые слова:нумерованные системы и морфизмы, негативные и позитивные линейные порядки, вычислимые последовательности и сечения, продуктивность вычислимых сечений, вычислимое пополнение, негативное представление поля рациональных чисел.
Полный текст:
PDF файл (418 kB)
