Categoricity Spectra for Rigid Structures

NOTRE DAME JOURNAL OF FORMAL LOGIC(2016)

引用 25|浏览29
暂无评分
摘要
For a computable structure M, the categoricity spectrum is the set of all Turing degrees capable of computing isomorphisms among arbitrary computable copies of M. If the spectrum has a least degree, this degree is called the degree of categoricity of M. In this paper we investigate spectra of categoricity for computable rigid structures. In particular, we give examples of rigid structures without degrees of categoricity.
更多
查看译文
关键词
computable structure,rigid structure,computably categorical,categoricity spectrum,degree of categoricity
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要