本文研究了递归集的K-1-度上半格的格嵌入性,证明了任一可数分配格及任一可数偏序集均可嵌入〈R_K~1(NP_K~1);≤〉的任一区间.......

我们在[5]中提出了K-n-度的概念,证明了∑_n^p≠∑_n+1^p当且仅当存在无穷多个不同的K-......