科研之友
微信
新浪微博
Facebook
分享链接
摘要
We study arithmetic and hyperarithmetic degrees of categoricity. We extend a result of E. Fokina, I. Kalimullin, and R. Miller to show that for every computable ordinal alpha, 0((alpha)) is the degree of categoricity of some computable structure A. We show additionally that for alpha a computable successor ordinal, every degree 2-c.e. in and above 0((alpha)) is a degree of categoricity. We further prove that every degree of categoricity is hyperarithmetic and show that the index set of structures with degrees of categoricity is Pi(1)(1)-complete.
- 出版日期2013
