| 摘要: |
| 该文证明了在 Rwtt/ Mwtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 Rwtt/ Mwtt是递归可枚举弱真值表归约度集 Rwtt模可盖递归可枚举弱真值表归约度集 Mwtt的商. |
| 关键词: 递归可枚举度 弱真值表归约 |
| DOI： |
| 分类号: |
| 基金项目:This research is supported by the National Natural Science Foundation of China (国家自然科学基金 ;;No.6-96-730-17) |
|
| Branching Elements in Rwtt/M wtt |
|
ZHANG Zai yue,SUI Yue fei
|
| Abstract: |
| It is proved that every element [c]∈R wtt /M wtt except the greatest and least elements is branching in R wtt /M wtt, i.e., the greatest lower bound of some two elements greater than [c], where R wtt /M wtt is the quotient of the r.e. wtt degrees wtt modulo the cappable r.e. wtt degrees M wtt. |
| Key words: Recursively enumerable degree weak truth table reduction |
