Partial Decidable Presentations in Hyperarithmetic
- 作者: Kalimullin I.S.1, Puzarenko V.G.2, Faizrahmanov M.K.1
-
隶属关系:
- Kazan (Volga Region) Federal University
- Sobolev Institute of Mathematics
- 期: 卷 60, 编号 3 (2019)
- 页面: 464-471
- 栏目: Article
- URL: https://journals.rcsi.science/0037-4466/article/view/172415
- DOI: https://doi.org/10.1134/S0037446619030091
- ID: 172415
如何引用文章
详细
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
补充文件
