Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
The least Σ-jump inversion theorem for N-families. / Faizrahmanov, Marat; Kalimullin, Iskander; Montalbán, Antonio и др.
в: Journal of Universal Computer Science, Том 23, № 6, 01.01.2017, стр. 529-538.Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
}
TY - JOUR
T1 - The least Σ-jump inversion theorem for N-families
AU - Faizrahmanov, Marat
AU - Kalimullin, Iskander
AU - Montalbán, Antonio
AU - Puzarenko, Vadim
N1 - Publisher Copyright: © J.UCS.
PY - 2017/1/1
Y1 - 2017/1/1
N2 - 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).
AB - 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).
KW - Countable family
KW - Enumeration jump
KW - Jump of structure
KW - N-family
KW - Σ-jump
KW - Σ-reducibility
UR - http://www.scopus.com/inward/record.url?scp=85029430937&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:85029430937
VL - 23
SP - 529
EP - 538
JO - Journal of Universal Computer Science
JF - Journal of Universal Computer Science
SN - 0948-695X
IS - 6
ER -
ID: 12693281