论文信息 - Measure, Π10-classes and complete extensions of PA - 字舞流文

Measure, Π10-classes and complete extensions of PA

[1] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .

[2] R. Soare,et al. Π⁰₁ classes and degrees of theories , 1972 .

[3] Robert I. Soare,et al. Degrees of members of Π10 classes , 1972 .

[4] Stephen G. Simpson,et al. Degrees of Unsolvability: A Survey of Results , 1977 .

[5] H. Keisler,et al. Handbook of mathematical logic , 1977 .

[6] Carl G. Jockusch,et al. Double jumps of minimal degrees , 1978, Journal of Symbolic Logic.

[7] Antonín Kučera,et al. Remarks on Constructive Mathematical Analysis , 1979 .

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

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

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