Аннотация:
Доказано существование невычислимых низких вычислимо перечислимых степеней $\mathbf b<\mathbf a$ таких, что $\mathbf b$ является сильно недополняемой до $\mathbf a$ в классе $\mathbf R$.
Ключевые слова:вычислимо перечислимые множества, тьюринговые степени, низкие степени, недополняемость.
Полный текст:
PDF файл (223 kB)