Positive Numberings in Admissible Sets
Siberian Mathematical Journal(2020)
摘要
We construct the example of an admissible set 𝔸 such that there exists a positive computable 𝔸 -numbering of the family of all 𝔸 -c.e. sets, whereas any negative computable 𝔸 -numberings are absent.
更多查看译文
关键词
numbering,decidable numbering,positive numbering,negative numbering,computable numbering,computable set,computably enumerable set,admissible set
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要