Порядково позитивные поля. I

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