Sciact
  • EN
  • RU

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)

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
Цитирование в БД: Пока нет цитирований
Альметрики: