Positive Numberings in Admissible Sets

Сибирский математический журнал

article

I. Sh. Kalimullin¹  V. G. Puzarenko²  M. Kh. Faizrahmanov¹ 

[1] Kazan (Volga Region) Federal University;Sobolev Institute of Mathematics, Novosibirsk State University

关键词: numbering;    decidable numbering;    positive numbering;    negative numbering;    computable numbering;    computable set;    computably enumerable set;    admissible set;   

DOI  :  10.1134/S003744662003009X

学科分类：数学（综合）

来源: Izdatel stvo Instituta Matematiki Rossiiskoi Akademii Nauk

【 摘 要 】

We construct the example of an admissible set $$\mathbb{A}$$ such that there exists a positive computable $$\mathbb{A}$$-numbering of the family of all $$\mathbb{A}$$-c.e. sets, whereas any negative computable $$\mathbb{A}$$-numberings are absent.

【 授权许可】

CC BY