The possible turing degree of the nonzero member in a two element degree spectrum

Annals of Pure and Applied Logic - Tập 60 - Trang 1-30 - 1993
Valentina S. Harizanov1
1Department of Mathematics, The 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 Ershov, 1977 Goncharov, 1980, Computable single-valued numerations, Algebra and Logic, 19, 507, 10.1007/BF01669607 Goncharov, 1980, Computable single-valued numerations, Algebra and Logic, 19, 325, 10.1007/BF01669607 Goncharov, 1980, Problem of the number of non-self-equivalent constructivizations, Algebra and Logic, 19, 621, 10.1007/BF01669323 Goncharov, 1980, Problem of the number of non-self-equivalent constructivizations, Algebra and Logic, 19, 401, 10.1007/BF01669323 Goncharov, 1982, Limit equivalent constructivizations, Tr. Inst. Mat. Sib. Otd. Akad. Nauk SSSR, 2, 4 Harisanov, 1991, Uncountable degree spectra, Ann. Pure Appl. Logic, 54, 255, 10.1016/0168-0072(91)90049-R Harizanov, 1991, Some effects of Ash-Nerode and other decidability conditions on degree spectra, Ann. Pure Appl. Logic, 55, 51, 10.1016/0168-0072(91)90097-6 Soare, 1987