rwtt/mwtt中的枝点元素(英文)

该文证明了在rwtt/mwtt中除了最大元和最小元外,每个元c是枝点元素,即为某两个大于c的元素的最大下界,其中rwtt/mwtt是递归可枚举弱真值表归约度集rwtt模可盖递归可枚举弱真值表归约度集mwtt的商.