Positive Numberings in Admissible Sets
[摘要] 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.
[发布日期] [发布机构]
[效力级别] [学科分类] 数学（综合）
[关键词] numbering;decidable numbering;positive numbering;negative numbering;computable numbering;computable set;computably enumerable set;admissible set [时效性]
