ITBM–конструктивные пополнения алгебр | Sciact - Система учета научной деятельности ИМ СО РАН

ITBM–конструктивные пополнения алгебр Научная публикация

Журнал

Сибирский математический журнал
ISSN: 0037-4474

Вых. Данные

Год: 2024, Том: 65, Номер: 3, Страницы: 533-544 Страниц : 12 DOI: 10.33048/smzh.2024.65.308

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

машины Блюм — Шуба — Смейла, ITBM-конструктивная алгебра, обобщенная вычислимость, вычислимость над вещественными числами, метризованная алгебра, пополнение

Авторы

Морозов А.С. ^1,2

Организации

1	Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090;
2	Новосибирский государственный университет, ул. Пирогова, 1, Новосибирск 630090

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

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

23-11-00170

Вводится понятие ITBM-конструктивной алгебры, обобщающее понятие конструктивной алгебры. Для метризованных алгебр получен критерий существования пополнения. Доказывается, что любая ITBM-конструктивная метризованная алгебра, обладающая пополнением, может быть естественным образом расширена до своего ITBM-конструктивного пополнения. Полученные результаты использованы для доказательства существования ITBM-конструктивных представлений у некоторых конкретных алгебр.

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

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

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

РИНЦ:

67316258

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