Lowness For Isomorphism And Degrees Of Genericity

COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE(2018)

引用 6|浏览11
暂无评分
摘要
A Turing degree d is said to be low for isomorphism if whenever two computable structures are d-computably isomorphic, then they are actually computably isomorphic. We construct a real that is 1-generic and low for isomorphism but not computable from a 2-generic and thus provide a counterexample to Franklin and Solomon's conjecture that the properly 1-generic degrees are neither low for isomorphism nor degrees of categoricity.
更多
查看译文
关键词
Computability, isomorphism, genericity, lowness
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要