ITBM-constructive completions of algebras Full article
| Journal |
Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260 |
||||
|---|---|---|---|---|---|
| Output data | Year: 2024, Volume: 65, Number: 3, Pages: 590-598 Pages count : 9 DOI: 10.1134/S003744662403008X | ||||
| Tags | Blum–Shub–Smale machine, ITBM-constructive algebra, generalized computability, computability over the reals, metrized algebra, completion | ||||
| Authors |
|
||||
| Affiliations |
|
Funding (1)
| 1 | Russian Science Foundation | 23-11-00170 |
Abstract:
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.
Cite:
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-constructive completions of algebras
Siberian Mathematical Journal. 2024. V.65. N3. P.590-598. DOI: 10.1134/S003744662403008X WOS Scopus РИНЦ OpenAlex
Original:
Морозов А.С.
ITBM–конструктивные пополнения алгебр
Сибирский математический журнал. 2024. Т.65. №3. С.533-544. DOI: 10.33048/smzh.2024.65.308 РИНЦ
ITBM–конструктивные пополнения алгебр
Сибирский математический журнал. 2024. Т.65. №3. С.533-544. DOI: 10.33048/smzh.2024.65.308 РИНЦ
Dates:
| Submitted: | Oct 4, 2023 |
| Accepted: | Apr 8, 2024 |
| Published print: | May 29, 2024 |
| Published online: | May 29, 2024 |
Identifiers:
| Web of science: | WOS:001235366000007 |
| Scopus: | 2-s2.0-85195148580 |
| Elibrary: | 67311445 |
| OpenAlex: | W4399125275 |
Citing:
Пока нет цитирований