A Topological Characterization of ITBM–Representable Relational Structures

Standard

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

в: Algebra and Logic, Том 64, № 6, 27.08.2026, стр. 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