Uncountable degree spectra

Annals of Pure and Applied Logic - Tập 54 - Trang 255-263 - 1991
Valentina S. Harizanov1
1Department of Mathematics, George Washington University, Washington, DC 20052, USA

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