×

对于任何可封顶度a,可以有效地找到多达\(ω\)个r.e.度,从而\(ab_i=0)和\(b_ib_j=0)(i\(neqj)\)。 (中文) Zbl 0626.03034号

如果有一个r.e.degree(b>0)使得\(A\cap b=0),则称r.e.degrade A是可封顶的。本文证明了以下结果:(1)对于任意两个具有\(a,b>0\)的可封盖度a和b,可以有效地找到一个r.e.度\(c>0\),使得\(a\cap c=b\cap c=0\)。(2) 对于任何可封顶度b,非零的r.e.度\(a_i\),i in \(\omega \)都可以有效地找到,例如,hat \(b\cap a_i=0\)、i in \。
审核人:陶仁吉

MSC公司:

03日30分 可计算性和递归理论中的其他度和可约性
03D25号 递归(可计算)可枚举集合和次数

关键词:

可封顶度
PDF格式BibTeX公司 XML格式引用