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

ITBM–конструктивные пополнения алгебр Full article

Journal

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

Output data

Year: 2024, Volume: 65, Number: 3, Pages: 533-544 Pages count : 12 DOI: 10.33048/smzh.2024.65.308

Tags

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

Authors

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

Affiliations

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

Funding (1)

Russian Science Foundation

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

Submitted:	Oct 4, 2023
Accepted:	Apr 8, 2024
Published print:	May 29, 2024
Published online:	May 29, 2024

Elibrary:

67316258

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