On the Computability of Ordered Fields Научная публикация
| Журнал |
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304 |
||||
|---|---|---|---|---|---|
| Вых. Данные | Год: 2023, Том: 20, Номер: 2, Страницы: 1341-1360 Страниц : 20 DOI: 10.33048/semi.2023.20.081 | ||||
| Ключевые слова | computable analysis, computability, index set, computable model theory, complexity. | ||||
| Авторы |
|
||||
| Организации |
|
Информация о финансировании (1)
| 1 | Институт математики им. С.Л. Соболева СО РАН | FWNF-2022-0011 |
Реферат:
In this paper we develop general techniques for structures of computable real numbers generated by classes of total computable (recursive) functions with special requirements on basic operations in order to investigate the following problems: whether a generated structure is a real closed field and whether there exists a computable copy of a generated structure. We prove a series of theorems that lead to the result that there are no computable copies for E_n-computable real numbers, where E_n is a level in Grzegorczyk hierarchy, n ≥ 3. We also propose a criterion of computable presentability of an archimedean ordered field.
Библиографическая ссылка:
Korovina M.V.
, Kudinov O.V.
On the Computability of Ordered Fields
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2023. V.20. N2. P.1341-1360. DOI: 10.33048/semi.2023.20.081 Scopus РИНЦ
On the Computability of Ordered Fields
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2023. V.20. N2. P.1341-1360. DOI: 10.33048/semi.2023.20.081 Scopus РИНЦ
Даты:
| Поступила в редакцию: | 5 авг. 2020 г. |
| Опубликована в печати: | 30 нояб. 2023 г. |
| Опубликована online: | 30 нояб. 2023 г. |
Идентификаторы БД:
| Scopus: | 2-s2.0-85179693345 |
| РИНЦ: | 82134667 |
Цитирование в БД:
Пока нет цитирований