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

Просмотр по теме "definable relations"

Просмотр по теме "definable relations"

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

  • Definable relations in Turing degree structures 
    Arslanov M. (2014)
    In this paper we investigate questions about the definability of classes of n-computably enumerable (c. e.) sets and degrees in the Ershov difference hierarchy. It is proved that the class of all c. e. sets is definable ...
  • Model-theoretic properties of the m-c.e. degrees 
    Arslanov M. (2012)
    In this article, we investigate model-theoretic properties of various Turing degree structures in the hierarchy of Δ 0 2-sets which is well known in the literature as Ershov Hierarchy. In particular, questions of definability ...
  • On the Problem of Definability of the Computably Enumerable Degrees in the Difference Hierarchy 
    Arslanov M.; Yamaleev M. (2018)
    © 2018, Pleiades Publishing, Ltd. Questions of definability of computably enumerable degrees in the difference hierarchy (degrees of sets from finite levels of the Ershov difference hierarchy) are studied. Several approaches ...

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

Просмотр

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