A Topological Characterization of ITBM–Representable Relational Structures Full article
| Journal |
Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302 |
||||
|---|---|---|---|---|---|
| Output data | Year: 2026, Volume: 64, Number: 6, Pages: 432-434 Pages count : 3 DOI: 10.1007/s10469-026-09845-1 | ||||
| Tags | computable structures, infinite time Blum–Shub–Smale machines, computations over the reals, ITBM, Borel hierarchy | ||||
| Authors |
|
||||
| Affiliations |
|
Funding (1)
| 1 | Russian Science Foundation | 23-11-00170 |
Abstract:
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.
Cite:
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
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
Dates:
| Submitted: | May 5, 2025 |
| Accepted: | May 27, 2026 |
| Published print: | Aug 27, 2026 |
| Published online: | Aug 27, 2026 |
Identifiers:
| ≡ Web of science: | WOS:001861385500001 |
| ≡ Scopus: | 2-s2.0-105048599576 |
| ≡ OpenAlex: | W7204434727 |