Partial Decidable Presentations in Hyperarithmetic


Дәйексөз келтіру

Толық мәтін

Ашық рұқсат Ашық рұқсат
Рұқсат жабық Рұқсат берілді
Рұқсат жабық Тек жазылушылар үшін

Аннотация

We study the problem of the existence of decidable and positive \(\Pi_1^1\)- and \(\Sigma_1^1\)-numberings of the families of \(\Pi_1^1\)- and \(\Sigma_1^1\)-cones with respect to inclusion. Some laws are found that reflect the presence of decidable computable \(\Pi_1^1\)- and \(\Sigma_1^1\)-numberings of these families in dependence on the analytical complexity of the set defining a cone.

Авторлар туралы

I. Kalimullin

Kazan (Volga Region) Federal University

Хат алмасуға жауапты Автор.
Email: ikalimul@gmail.com
Ресей, Kazan

V. Puzarenko

Sobolev Institute of Mathematics

Хат алмасуға жауапты Автор.
Email: vagrig@math.nsc.ru
Ресей, Novosibirsk

M. Faizrahmanov

Kazan (Volga Region) Federal University

Хат алмасуға жауапты Автор.
Email: marat.faizrahmanov@gmail.com
Ресей, Kazan

Қосымша файлдар

Қосымша файлдар
Әрекет
1. JATS XML

© Pleiades Publishing, Ltd., 2019