Uncountable degree spectra
Tài liệu tham khảo
Ash, 1986, Stability of recursive structures in arithmetical degrees, Ann. Pure Appl. Logic, 32, 113, 10.1016/0168-0072(86)90048-5
Ash, 1986, Recursive labelling systems and stability of recursive structures in hyperarithmetical degrees, Trans. Amer. Math. Soc., 298, 497, 10.1090/S0002-9947-1986-0860377-7
Ash, 1981, Intrinsically recursive relations, 26
Barker, 1988, Intrinsically Σα0 relations, Ann. Pure Appl. Logic, 39, 105, 10.1016/0168-0072(88)90014-0
Goncharov, 1975, Autostability and computable families of constructivizations, Algebra and Logic, 14, 647, 10.1007/BF01668470
Goncharov, 1975, Autostability and computable families of constructivizations, Algebra and Logic, 14, 392, 10.1007/BF01668470
Harizanov, 1987, Degree Spectrum of a Recursive Relation on a Recursive Structure
Jockusch, 1972, Π01 classes and degrees of theories, Trans. Amer. Math. Soc., 173, 33
Keisler, 1971
Knight, 1986, Degrees coded in jumps of orderings, J. Symbolic Logic, 51, 1034, 10.2307/2273915
Rogers, 1967
Soare, 1987