数学季刊 ›› 1999, Vol. 14 ›› Issue (3): 1-10.

• •    下一篇

R/M的局部分配性

  

  1. Institute of Sof tware,A cademia Sinica,Beijing,100080
  • 收稿日期:1998-09-08 出版日期:1999-09-30 发布日期:2024-09-10
  • 基金资助:
    Supported by the National NSF of China.

The Local Distributivity in R/M

  1. Institute of Sof tware,A cademia Sinica,Beijing,100080
  • Received:1998-09-08 Online:1999-09-30 Published:2024-09-10
  • Supported by:
    Supported by the National NSF of China.

摘要: It will be proved that given any noncappable r.e. degree a there are r.e.degrees a 0 and a 1 such that a 0,a 1<=a and [a 0∪a 1] is not local distributive,i.e.,there is an r.e.degree c such that [c][a 0∪a 1] and for any [u i][a i] and i=0,1,[c]≠[u 0]∨[u 1] where R/M is the quotient of the recursively enumerable degrees modulo the cappable degrees. Therefore, R/M is not distributive. 

关键词: turing degrees, recursive enumerability, distributivity

Abstract: It will be proved that given any noncappable r.e. degree a there are r.e.degrees a 0 and a 1 such that a 0,a 1<=a and [a 0∪a 1] is not local distributive,i.e.,there is an r.e.degree c such that [c][a 0∪a 1] and for any [u i][a i] and i=0,1,[c]≠[u 0]∨[u 1] where R/M is the quotient of the recursively enumerable degrees modulo the cappable degrees. Therefore, R/M is not distributive. 

Key words: turing degrees, recursive enumerability, distributivity

中图分类号: