Index sets of decidably categorical models with unary functional symbols | Sciact - Система учета научной деятельности ИМ СО РАН

Index sets of decidably categorical models with unary functional symbols Научная публикация

Журнал

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

Вых. Данные

Год: 2026, Том: 65, Номер: 1, Страницы: 10-20 Страниц : 11 DOI: 10.1007/s10469-026-09850-4

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

computable model, strongly constructivizable model, decidable model, computable categoricity, decidable categoricity, index set, injective unar

Авторы

Bazhenov N.A. ^1,2 , Marchuk M.I. ^1,2

Организации

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

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

Министерство науки и высшего образования РФ

FWNF-2026-0032

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 Σ^0_(ω+2)-complete.

Bazhenov N.A. , Marchuk M.I.
Index sets of decidably categorical models with unary functional symbols
Algebra and Logic. 2026. V.65. N1. P.10-20. DOI: 10.1007/s10469-026-09850-4

Поступила в редакцию:	12 июл. 2026 г.
Принята к публикации:	2 сент. 2026 г.
Опубликована online:	15 окт. 2026 г.

Нет идентификаторов