journal.isu.ru

Начальная страница

Конечная страница

УДК

Раздел
     

Файл
Скачать Изменить файл

Название RU

Авторы RU

Аннотация RU
<p>Доказана представимость индексных множеств всех вычислимых семейств общерекурсивных функций индексными множествами вычислимых семейств конечнозначных неубывающих общерекурсивных функций.</p>

Ключевые слова RU

Литература RU
1. Ершов Ю. Л. Теория нумераций / Ю. Л. Ершов. – М.: Наука, 1977. 2. Корольков Ю.Д. Оценка сложности индексных множеств семейств общерекурсивных функций в арифметической иерархии / Ю. Д. Корольков // Алгебра и логика. – 2002. – Т. 41, № 2. – С. 155–165. 3. Селиванов В. Л. Тонкие иерархии арифметических множеств и определимые индексные множества / В. Л. Селиванов // Математическая логика и алгоритмические вопросы. – 1989. – Т. 12. – С. 165–185. 4. Ershov Yu. L. Theory of numberings / Yu. L. Ershov // Preprint 18. – Novosibirsk, 1996.

Название EN

Авторы EN

Аннотация EN
<p>We prove that the index sets of all computable families of computable functions are presentable by the index sets of computable families of finite-valued computable functions.</p>

Ключевые слова EN

Литература EN