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

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

Переводная: 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

Даты:

Поступила в редакцию:	21 апр. 2023 г.
Принята к публикации:	10 апр. 2024 г.
Опубликована в печати:	21 апр. 2024 г.
Опубликована online:	21 апр. 2024 г.

Идентификаторы БД:

РИНЦ:

65606857

Цитирование в БД: Пока нет цитирований

Альметрики: