Аннотация
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 |