每一个非零的可计算可枚举强有界图灵度都具有反成杯性质.pdfVIP

Studies in Logic, Vol. 5, No. 3 (2012): 1–10 PII: 1674-3202(2012)-03-0001-10 Every Nonzero c.e. Strongly Bounded Turing Degree has the Anti-cupping Property Klaus Ambos-Spies Department of Mathematics and Computer Science, Ruprecht-Karls-Universitat ¨ ambos@math.uni-heidelberg.de Wei Wang Institute of Logic and Cognition, Department of Phil