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

Просмотр по теме "computable presentations"

Просмотр по теме "computable presentations"

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

  • Frolov A. (2012)
    We say that L is weakly η-like if L/∼ is isomorphic to the natural ordering of rational numbers. We construct a computable presentation of any low weakly η-like linear ordering with no strongly η-like interval. Also we ...
  • Frolov A. (2010)
    We prove that a nontrivial degree spectrum of the successor relation of either strongly η-like or non-η-like computable linear orderings is closed upwards in the class of all computably enumerable degrees. We also show ...
  • Frolov A. (2014)
    In this paper we construct a low2 scattered linear orderings with no computable presentation. This is a negative answer for the question of A. Kach and A. Montalbán. © 2014 Pleiades Publishing, Ltd.

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

Просмотр

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