Pi10 classes and strong degree spectra of relations

J. Symb. Log.(2007)

引用 27|浏览8
暂无评分
摘要
We study the weak truth-table and truth-table de- grees of the images of subsets of computable structures under iso- morphisms between computable structures. In particular, we show that there is a low c.e. set that is not weak truth-table reducible to any initial segment of any scattered computable linear order. Countable 0 1 subsets of 2 ! and Kolmogorov complexity play a major role in the proof.
更多
查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要