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

Cite: Коровина М.В. , Кудинов О.В.
Порядково позитивные поля. I
Алгебра и логика. 2023. Т.62. №3. С.307-322. DOI: 10.33048/alglog.2023.62.301 РИНЦ

Translated: Korovina M.V. , Kudinov O.V.
Order positive fields. I
Algebra and Logic. 2023. V.62. N3. P.203-214. DOI: 10.1007/s10469-024-09738-1 WOS Scopus РИНЦ OpenAlex

Dates:

Submitted:	Apr 21, 2023
Accepted:	Apr 10, 2024
Published print:	Apr 21, 2024
Published online:	Apr 21, 2024

Identifiers:

Elibrary:

65606857

Citing: Пока нет цитирований

Altmetrics: