The possible turing degree of the nonzero member in a two element degree spectrum
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