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 1a 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 an...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 1a 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.展开更多
文摘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 1a 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.
