论文信息 - Definable functions on degrees - 字舞流文

Definable functions on degrees

Theodore A. Slaman | John R. Steel | T. Slaman | J. Steel

[1] David P. Miller. High recursively enumerable degrees and the anti-cupping property , 1981 .

[2] Robert W. Robinson,et al. Degrees joining to 0′ , 1981, Journal of Symbolic Logic.

[3] John R. Steel. A Classification of Jump Operator , 1982, J. Symb. Log..

[4] Gerald E. Sacks. ON A THEOREM OF LACHLAN AND MARTIN , 1967 .

[5] Manuel Lerman,et al. Degrees of Unsolvability: Local and Global Theory , 1983 .

[6] Alistair H. Lachlan. Uniform Enumeration Operations , 1975, J. Symb. Log..

[7] D. A. Martin,et al. The axiom of determinateness and reduction principles in the analytical hierarchy , 1968 .

[8] Theodore A. Slaman,et al. Complementation in the Turing degrees , 1989, Journal of Symbolic Logic.