チューリング次数
Donald A. Martin and Leo Harrington have shown that the existence of 0# is equivalent to the determinacy of lightface analytic games. In fact, the strategy for a universal lightface analytic game has the same Turing degree as 0#.