ITBM-constructive completions of algebras | Sciact - Система учета научной деятельности ИМ СО РАН

ITBM-constructive completions of algebras Научная публикация

Журнал

Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260

Вых. Данные

Год: 2024, Том: 65, Номер: 3, Страницы: 590-598 Страниц : 9 DOI: 10.1134/S003744662403008X

Ключевые слова

Blum–Shub–Smale machine, ITBM-constructive algebra, generalized computability, computability over the reals, metrized algebra, completion

Авторы

Morozov A.S. ^1,2

Организации

1	Sobolev Institute of Mathematics
2	Novosibirsk State University

Информация о финансировании (1)

Российский научный фонд

23-11-00170

We introduce the notion of ITBM-constructive algebra, which is a generalization of the notion of constructive algebra, and study completions of such algebras. We obtain some criterion for the existence of completions for metrized algebras and prove that each ITBM-constructive metrized algebra which has completion can be naturally extended to the ITBM-constructive completion. Using these results, we establish the existence of ITBM-constructive presentations for some particular algebras.

Morozov A.S.
ITBM-constructive completions of algebras
Siberian Mathematical Journal. 2024. V.65. N3. P.590-598. DOI: 10.1134/S003744662403008X WOS Scopus РИНЦ OpenAlex

Морозов А.С.
ITBM–конструктивные пополнения алгебр
Сибирский математический журнал. 2024. Т.65. №3. С.533-544. DOI: 10.33048/smzh.2024.65.308 РИНЦ

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

Web of science:	WOS:001235366000007
Scopus:	2-s2.0-85195148580
РИНЦ:	67311445
OpenAlex:	W4399125275

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