Index Sets of Decidably Categorical Models with Unary Functional Symbols

Standard

Index Sets of Decidably Categorical Models with Unary Functional Symbols. / Bazhenov, N. A.; Marchuk, M. I.

в: Algebra and Logic, Том 65, № 1, 15.10.2026, стр. 10-20.

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

BibTeX

@article{ec9ed41704b145a790ac7d5012171d5b,

title = "Index Sets of Decidably Categorical Models with Unary Functional Symbols",

abstract = "We obtain a criterion for decidable categoricity of injective unars. Exact complexity estimates are established for the index sets of the classes of strongly constructivizable injective unars and decidably categorical injective unars. It is shown that the index set of decidably categorical structures in a signature consisting of two unary functional symbols is Σω+20-complete.",

keywords = "computable categoricity, computable model, decidable categoricity, decidable model, index set, injective unar, strongly constructivizable model, вычислимая модель, сильно конструктивизируемая модель, разрешимая модель, вычислимая категоричность, разрешимая категоричность, индексное множество, инъективная унарная алгебра",

author = "Bazhenov, {N. A.} and Marchuk, {M. I.}",

note = "Bazhenov, N.A., Marchuk, M.I. Index Sets of Decidably Categorical Models with Unary Functional Symbols. Algebra Logic 65, 10–20 (2026). https://doi.org/10.1007/s10469-026-09850-4 The work was carried out within the framework of the state contract of the Sobolev Institute of Mathematics (project No. FWNF-2026-0032).",

year = "2026",

month = oct,

day = "15",

doi = "10.1007/s10469-026-09850-4",

language = "English",

volume = "65",

pages = "10--20",

journal = "Algebra and Logic",

issn = "0002-5232",

publisher = "Springer US",

number = "1",

}

RIS

TY - JOUR

T1 - Index Sets of Decidably Categorical Models with Unary Functional Symbols

AU - Bazhenov, N. A.

AU - Marchuk, M. I.

N1 - Bazhenov, N.A., Marchuk, M.I. Index Sets of Decidably Categorical Models with Unary Functional Symbols. Algebra Logic 65, 10–20 (2026). https://doi.org/10.1007/s10469-026-09850-4 The work was carried out within the framework of the state contract of the Sobolev Institute of Mathematics (project No. FWNF-2026-0032).

PY - 2026/10/15

Y1 - 2026/10/15

N2 - We obtain a criterion for decidable categoricity of injective unars. Exact complexity estimates are established for the index sets of the classes of strongly constructivizable injective unars and decidably categorical injective unars. It is shown that the index set of decidably categorical structures in a signature consisting of two unary functional symbols is Σω+20-complete.

AB - We obtain a criterion for decidable categoricity of injective unars. Exact complexity estimates are established for the index sets of the classes of strongly constructivizable injective unars and decidably categorical injective unars. It is shown that the index set of decidably categorical structures in a signature consisting of two unary functional symbols is Σω+20-complete.

KW - computable categoricity

KW - computable model

KW - decidable categoricity

KW - decidable model

KW - index set

KW - injective unar

KW - strongly constructivizable model

KW - вычислимая модель

KW - сильно конструктивизируемая модель

KW - разрешимая модель

KW - вычислимая категоричность

KW - разрешимая категоричность

KW - индексное множество

KW - инъективная унарная алгебра

UR - https://www.mendeley.com/catalogue/7bf973b4-2798-3bb7-9ddb-1ad47d8e97fd/

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

U2 - 10.1007/s10469-026-09850-4

DO - 10.1007/s10469-026-09850-4

M3 - Article

VL - 65

SP - 10

EP - 20

JO - Algebra and Logic

JF - Algebra and Logic

SN - 0002-5232

IS - 1

ER -

ID: 85123484