连续统与Turing度

令Ｄ为所有Ｔｕｒｉｎｇ度的集合，≤为Ｄ上的图林化归关系．一函数ｆ：Ｄ→Ｄ称为前进函数如果对任何ａ∈Ｄ，ａ≤ｆ（ａ）。对于一个前进函数ｆ，我们说Ｄ中的两个度ａ，ｂ是ｆ－不可比较的，如果ａ≮ｆ（ｂ）且ｂ ≮ｆ（ａ），否则是ｆ－可比较的．本文的一个主要结果是：在ＺＦＣ中连续统假设成立当且仅当存在一个前进函数ｆ：Ｄ→Ｄ使得Ｄ中任何两个度都是ｆ－可比较的.