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

Просмотр по автору "Harizanov V."

Просмотр по автору "Harizanov V."

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

  • Degree spectra of the successor relation of computable linear orderings 
    Chubb J.; Frolov A.; Harizanov V. (2009)
    We establish that for every computably enumerable (c.e.) Turing degree b the upper cone of c.e. Turing degrees determined by b is the degree spectrum of the successor relation of some computable linear ordering. This follows ...
  • Spectra of high n and non-low n degrees 
    Frolov A.; Kalimullin I.; Harizanov V.; Kudinov O.; Miller R. (2012)
    We survey known results on spectra of structures and on spectra of relations on computable structures, asking when the set of all highn degrees can be such a spectrum, and likewise for the set of non-low n degrees. We then ...
  • Strong jump inversion 
    Calvert W.; Frolov A.; Harizanov V.; Knight J.; McCoy C.; Soskova A.; Vatev S. (2018)
    © The Author(s) 2018. We say that a structure A admits strong jump inversion provided that for every oracle X, if X' computes D(C)'for some C ≅ A, then X computes D(B) for some B ≅ A. Jockusch and Soare (1991, APAL, 52, ...

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

Просмотр

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