Partial Decidable Presentations in Hyperarithmetic

I. Sh Kalimullin, V. G. Puzarenko, M. Kh Faizrahmanov

Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

2 Цитирования (Scopus)

Аннотация

We study the problem of the existence of decidable and positive Π11- and Σ11-numberings of the families of Π11- and Σ11-cones with respect to inclusion. Some laws are found that reflect the presence of decidable computable Π11- and Σ11-numberings of these families in dependence on the analytical complexity of the set defining a cone.

Язык оригиналаанглийский
Страницы (с-по)464-471
Число страниц8
ЖурналSiberian Mathematical Journal
Том60
Номер выпуска3
DOI
СостояниеОпубликовано - 1 мая 2019

Fingerprint Подробные сведения о темах исследования «Partial Decidable Presentations in Hyperarithmetic». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать