Standard

A Topological Characterization of ITBM–Representable Relational Structures. / Morozov, A. S.

In: Algebra and Logic, Vol. 64, No. 6, 27.08.2026, p. 432-434.

Research output: Contribution to journal › Article › peer-review

Harvard

Morozov, AS 2026, 'A Topological Characterization of ITBM–Representable Relational Structures', Algebra and Logic, vol. 64, no. 6, pp. 432-434. https://doi.org/10.1007/s10469-026-09845-1

APA

Morozov, A. S. (2026). A Topological Characterization of ITBM–Representable Relational Structures. Algebra and Logic, 64(6), 432-434. https://doi.org/10.1007/s10469-026-09845-1

Vancouver

Morozov AS. A Topological Characterization of ITBM–Representable Relational Structures. Algebra and Logic. 2026 Aug 27;64(6):432-434. doi: 10.1007/s10469-026-09845-1

Author

Morozov, A. S. / A Topological Characterization of ITBM–Representable Relational Structures. In: Algebra and Logic. 2026 ; Vol. 64, No. 6. pp. 432-434.

BibTeX

@article{bd7a0c012d1b4677acede5aacdad0226,
title = "A Topological Characterization of ITBM–Representable Relational Structures",
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.",
keywords = "Borel hierarchy, ITBM, computable structures, computations over the reals, infinite time Blum–Shub–Smale machines, вычислимые структуры, машины Блюма–Шуба–Смаля с бесконечным временем, вычисления над действительными числами, ITBM, иерархия Бореля",
author = "Morozov, {A. S.}",
note = "Morozov, A.S. A Topological Characterization of ITBM–Representable Relational Structures. Algebra Logic 64, 432–434 (2026). https://doi.org/10.1007/s10469-026-09845-1 Supported by the Russian Science Foundation (project No. 23-11-00170).",
year = "2026",
month = aug,
day = "27",
doi = "10.1007/s10469-026-09845-1",
language = "English",
volume = "64",
pages = "432--434",
journal = "Algebra and Logic",
issn = "0002-5232",
publisher = "Springer US",
number = "6",

}

RIS

TY - JOUR

T1 - A Topological Characterization of ITBM–Representable Relational Structures

AU - Morozov, A. S.

N1 - Morozov, A.S. A Topological Characterization of ITBM–Representable Relational Structures. Algebra Logic 64, 432–434 (2026). https://doi.org/10.1007/s10469-026-09845-1 Supported by the Russian Science Foundation (project No. 23-11-00170).

PY - 2026/8/27

Y1 - 2026/8/27

N2 - 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.

AB - 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.

KW - Borel hierarchy

KW - ITBM

KW - computable structures

KW - computations over the reals

KW - infinite time Blum–Shub–Smale machines

KW - вычислимые структуры

KW - машины Блюма–Шуба–Смаля с бесконечным временем

KW - вычисления над действительными числами

KW - ITBM

KW - иерархия Бореля

UR - https://www.mendeley.com/catalogue/1711d8c7-91b6-3305-a3df-cace41488df2/

UR - https://www.scopus.com/pages/publications/105048599576

U2 - 10.1007/s10469-026-09845-1

DO - 10.1007/s10469-026-09845-1

M3 - Article

VL - 64

SP - 432

EP - 434

JO - Algebra and Logic

JF - Algebra and Logic

SN - 0002-5232

IS - 6

ER -

ID: 83339473