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

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

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

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

  • Absolute and Relative Properties of Negatively Numbered Families 
    Faizrahmanov M.K.; Puzarenko V.G. (2021)
    Abstract: We study in this paper negative A-numberings where A are admissible structures. We establish that a series of classical assumptions is remained to hold for negative A-numberings in the case of the application of ...
  • Computable Positive and Friedberg Numberings in Hyperarithmetic 
    Kalimullin I.S.; Puzarenko V.G.; Faizrakhmanov M.K. (2020)
    © 2020, Springer Science+Business Media, LLC, part of Springer Nature. We point out an existence criterion for positive computable total Π11 -numberings of families of subsets of a given Π11 -set. In particular, it is ...
  • Positive Numberings in Admissible Sets 
    Kalimullin I.S.; Puzarenko V.G.; Faizrahmanov M.K. (2020)
    © 2020, Pleiades Publishing, Ltd. We construct the example of an admissible set A such that there exists a positive computable A-numbering of the family of all A-c.e. sets, whereas any negative computable A-numberings are absent.
  • Semidecidable Numberings in Admissible Sets 
    Kalimullin I.S.; Puzarenko V.G.; Faizrakhmanov M.K. (2020)

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

Просмотр

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