matatecsМатематика и теоретические компьютерные наукиMathematics and Theoretical Computer Science2949-3919Казанский (Приволжский) федеральный университетmatatecs-7Research ArticleНАУЧНЫЕ РАБОТЫ СТУДЕНТОВОб индексном множестве пунктуально категоричных конечнопорожденных структурOn the index set of punctually categorical finitely generated structuresКурмачеваА. А.KurmachevaA. A.

Кафедра алгебры и математической логики

ул. Кремлевская, д. 18, г. Казань, 420008

Department of Algebra and Mathematical Logic

18 Kremlyovskaya str., Kazan 420008

xsanca@mail.ruКазанский (Приволжский) федеральный университетРоссияKazan Federal UniversityRussian Federation202331102023116977Copyright © Курмачева А.А., 20232023Курмачева А.А.Kurmacheva A.A.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://matatecs.elpub.ru/jour/article/view/7

Статья посвящена оценке индексного множества конечнопорожденных структур, имеющих с точностью до пунктуального изоморфизма единственное пунктуальное представление. Показано, что это индексное множество является Π03 -полным.

The paper is devoted to an estimation of the index set of finitelky generated structures which have precisely one punctual presentation up to punctual isomorphisms. It is shown that this index set is Π03-complete

примитивная рекурсияпунктуальная категоричностьконечнопорожденная структураprimitive recursionpunctual categorcityfinitely generated structureReferencesI. Sh. Kalimullin, A. G. Melnikov, K. M. Ng, Algebraic structures computable without delay, Theoret. Comput. Sci. 674, 73–98 (2017). DOI: https://doi.org/10.1016/j.tcs.2017.01.029I. Sh. Kalimullin, A. G. Melnikov, K. M. Ng, Algebraic structures computable without delay, Theoret. Comput. Sci. 674, 73–98 (2017). DOI: https://doi.org/10.1016/j.tcs.2017.01.029П. Е. Алаев, Полиномиально вычислимые структуры с конечным числом порождающих, Алгебра и логика 59 (3), 385–394 (2020). DOI: https://doi.org/10.33048/alglog.2020.59.307P. E. Alaev, Polynomially computable structures with finitely many generators, Algebra and Logic 59 (3), 266–272 (2020). DOI: https://doi.org/10.1007/s10469-020-09598-5R. I. Soare, Recursively enumerable sets and degrees. A study of computable functions and computably generated sets, Perspectives in math. logic. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1987. URL: https://link.springer.com/book/9783540666813R. I. Soare, Recursively enumerable sets and degrees. A study of computable functions and computably generated sets, Perspectives in math. logic. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1987. URL: https://link.springer.com/book/9783540666813N. A. Bazhenov, R. G. Downey, A. G. Melnikov, I. Sh. Kalimullin, Foundations of online structure theory, Bull. Symb. Log. 25 (2), 141–181 (2019). DOI: https://doi.org/10.1017/bsl.2019.20N. A. Bazhenov, R. G. Downey, A. G. Melnikov, I. Sh. Kalimullin, Foundations of online structure theory, Bull. Symb. Log. 25 (2), 141–181 (2019). DOI: https://doi.org/10.1017/bsl.2019.20И. Ш. Калимуллин, О построении пунктуально категоричных полугрупп, Алгебра и логика 59 (5), 600–605 (2020). DOI: https://doi.org/10.33048/alglog.2020.59.507I. Sh. Kalimullin, Constructing punctually categorical semigroups, Algebra and Logic 59 (5), 408–411 (2020). DOI: https://doi.org/10.1007/s10469-020-09614-8

The authors declare that there are no conflicts of interest present.