半低集(semi-low set )遞歸論的基本概念之一指由弱跳躍導出的一種類似低集的概念:若H是A的弱跳躍,H鎮7.曰‘,則稱A為半低集.任何半低集都可T化歸到W,且任何低集也都是半低集,但反之不然.事實上,對任何re集A,存在re集B三rA,使得B為半低集.但若r。集A不是低集,則必存在re集C=rA,使C不是半低集.
半低集(semi-low set )遞歸論的基本概念之一指由弱跳躍導出的一種類似低集的概念:若H是A的弱跳躍,H鎮7.曰‘,則稱A為半低集.任何半低集都可T化歸到W,且任何低集也都是半低集,但反之不然.事實上,對任何re集A,存在re集B三rA,使得B為半低集.但若r。集A不是低集,則必存在re集C=rA,使C不是半低集.