摘要
该文证明了在 Rwtt/ Mwtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 Rwtt/ Mwtt是递归可枚举弱真值表归约度集 Rwtt模可盖递归可枚举弱真值表归约度集
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 R wtt modulo the cappable r.e. wtt degrees M wtt .
出处
《软件学报》
EI
CSCD
北大核心
2000年第4期441-446,共6页
Journal of Software
基金
This research is supported by the National Natural Science Foundation of China (国家自然科学基金
No.6 96 730 17)
