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

Просмотр по автору "Frolov A.N."

Просмотр по автору "Frolov A.N."

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

  • Computable Linear Orders and Limitwise Monotonic Functions 
    Frolov A.N.; Zubkov M.V. (2021)
    In this paper, we describe the technique of extremely monotonic functions in the theory of computable linear orders. The basic definitions of extremely monotonic functions and their generalizations are given, and a number ...
  • Computable linear orders and products 
    Frolov A.N.; Lempp S.; Ng K.M.; Wu G. (2020)
    © 2020 Cambridge University Press. All rights reserved. We characterize the linear order types with the property that given any countable linear order, is a computable linear order iff is a computable linear order, as ...
  • Computable Presentability of Countable Linear Orders 
    Frolov A.N. (2021)
    The main goal of this paper is to study algorithmic properties of countable linear orders by constructing effective presentations of these structures on the set of natural numbers. In 1991, C. Jockusch and R. Soare constructed ...
  • Degree Spectra of Structures 
    Kalimullin I.S.; Selivanov V.L.; Frolov A.N. (2021)
    In this survey, we discuss computability spectra of countable structures that provide a natural measure of non-computability of a structure. This notion is a main tool for investigating algorithmic properties of countable ...
  • Spectral Universality of Linear Orders with One Binary Relation 
    Zubkov M.V.; Frolov A.N. (2020)
    © 2020, Pleiades Publishing, Ltd. We show the spectral universality of the class of structures that are linear orders with an additional binary relation and hence with an n-ary relation for each n ≥ 2. To this end, we study ...

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

Просмотр

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