A Topological Characterization of ITBM–Representable Relational Structures | Sciact - Система учета научной деятельности ИМ СО РАН

A Topological Characterization of ITBM–Representable Relational Structures Научная публикация

Журнал

Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302

Вых. Данные

Год: 2026, Том: 64, Номер: 6, Страницы: 432-434 Страниц : 3 DOI: 10.1007/s10469-026-09845-1

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

computable structures, infinite time Blum–Shub–Smale machines, computations over the reals, ITBM, Borel hierarchy

Авторы

Morozov A.S. ^1,2

Организации

1	Sobolev Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences
2	Novosibirsk State University, Novosibirsk, Russia

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

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

23-11-00170

We describe relational structures of finite signature representable by means of infinite time Blum–Shub–Smale machines in terms of Borel hierarchy on Baire and Cantor Polish spaces.

Morozov A.S.
A Topological Characterization of ITBM–Representable Relational Structures
Algebra and Logic. 2026. V.64. N6. P.432-434. DOI: 10.1007/s10469-026-09845-1 WOS Scopus OpenAlex

Поступила в редакцию:	5 мая 2025 г.
Принята к публикации:	27 мая 2026 г.
Опубликована в печати:	27 авг. 2026 г.
Опубликована online:	27 авг. 2026 г.

≡ Web of science:	WOS:001861385500001
≡ Scopus:	2-s2.0-105048599576
≡ OpenAlex:	W7204434727