K—1—度上半格的结构

摘要

我们在[5]中提出了K-n-度的概念,证明了∑_n^p≠∑_(n+1)~p当且仅当存在无穷多个不同的K-n-度,n≥0,对A∈NP^-,A的 K-n-度 deg_K^n(A)={B∈NP^-:K^n(B)=_m^PK^n(A)),令D_n={deg_K^n(A):A∈NP^-},对a、b∈D_n,定义a≤b,若存在A∈a、B∈b使K_n(A)≤_m^pK^n(B)。本文证明了,是上半格;任一可数分配格可嵌入;任一可数偏序集可嵌入。