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

Просмотр по теме "Linear order"

Просмотр по теме "Linear order"

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

  • Increasing η-representable degrees 
    Frolov A.; Zubkov M. (2009)
    In this paper we prove that any Δ0 3 degree has an increasing η-representation. Therefore, there is an increasing η-representable set without a strong η-representation. © 2009 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
  • Initial segments of computable linear orders with additional computable predicates 
    Zubkov M. (2009)
    We study computable linear orders with computable neighborhood and block predicates. In particular, it is proved that there exists a computable linear order with a computable neighborhood predicate, having a -initial segment ...
  • The Kierstead's Conjecture and limitwise monotonic functions 
    Wu G.; Zubkov M. (2018)
    © 2018 Elsevier B.V. In this paper, we prove Kierstead's conjecture for linear orders whose order types are ∑q∈QF(q), where F is an extended 0′-limitwise monotonic function, i.e. F can take value ζ. Linear orders in our ...

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

Просмотр

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