The Least ∑-jump Inversion Theorem for n-families | Sciact - Система учета научной деятельности ИМ СО РАН

The Least ∑-jump Inversion Theorem for n-families Научная публикация

Журнал

Journal of Universal Computer Science
ISSN: 0948-695X , E-ISSN: 0948-6968

Вых. Данные

Год: 2017, Том: 23, Номер: 6, Страницы: 529-538 Страниц : 10 DOI: 10.3217/jucs-023-06-0529

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

jump of structure, enumeration jump, Σ-jump, Σ-reducibility, countable family, n-family

Авторы

Faizrahmanov Marat ³ , Kalimullin Iskander ³ , Montalban Antonio ⁴ , Puzarenko Vadim ^1,2

Организации

1	Sobolev Institute of Mathematics
2	Novosibirsk State University
3	Kazan (Volga Region) Federal University
4	University of California Berkley

Studying the Σ-reducibility of families introduced by [Kalimullin and Puzarenko 2009] we show that for every set X T ∅ there is a family of sets F which is the Σ-least countable family whose Σ-jump is Σ-equivalent to X ⊕ X. This fact will be generalized for the class of n-families (families of families of . . . of sets).

Faizrahmanov M. , Kalimullin I. , Montalban A. , Puzarenko V.
The Least ∑-jump Inversion Theorem for n-families
Journal of Universal Computer Science. 2017. V.23. N6. P.529-538. DOI: 10.3217/jucs-023-06-0529

Поступила в редакцию:	3 апр. 2017 г.
Принята к публикации:	26 июн. 2017 г.
Опубликована online:	28 июн. 2017 г.

Нет идентификаторов

Пока нет цитирований