Computable Positive and Friedberg Numberings in Hyperarithmetic

Algebra and Logic(2020)

引用 3|浏览5
暂无评分
摘要
We point out an existence criterion for positive computable total $$ {\Pi}_1^1 $$ -numberings of families of subsets of a given $$ {\Pi}_1^1 $$ -set. In particular, it is stated that the family of all $$ {\Pi}_1^1 $$ -sets has no positive computable total $$ {\Pi}_1^1 $$ -numberings. Also we obtain a criterion of existence for computable Friedberg $$ {\Sigma}_1^1 $$ -numberings of families of subsets of a given $$ {\Sigma}_1^1 $$ - set, the consequence of which is the absence of a computable Friedberg $$ {\Sigma}_1^1 $$ -numbering of the family of all $$ {\Sigma}_1^1 $$ -sets. Questions concerning the existence of negative computable $$ {\Pi}_1^1 $$ - and $$ {\Sigma}_1^1 $$ -numberings of the families mentioned are considered.
更多
查看译文
关键词
computable numbering, admissible set, analytical hierarchy, positive numbering, Friedberg numbering, negative numbering
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要