Электронный архив

Просмотр по теме "rigid structure"

Просмотр по теме "rigid structure"

Отсортировать по:Сортировать:Результаты поиска на странице:

  • Неизвестный автор (2018)
    © 2018 The Association for Symbolic Logic. A Turing degree d is the degree of categoricity of a computable structure S if d is the least degree capable of computing isomorphisms among arbitrary computable copies of S. A ...
  • Bazhenov N.A.; Kalimullin I.S.; Yamaleev M.M. (2020)
    © 2020, Pleiades Publishing, Ltd. Abstract: It is well-known that every c.e. Turing degree is the degree of categoricity of a rigid structure. In this work we study the possibility of extension of this result to properly ...

Поиск в электронном архиве

Просмотр

Моя учетная запись