Geodesic
Jump inversions of algebraic structures and the $\Sigma$-definability
Algebra i logika, Tome 57 (2018) no. 2, pp. 243-249.

Voir la notice de l'article provenant de la source Math-Net.Ru

Presented by Associate Editor S. S. Goncharov. 
@article{AL_2018_57_2_a6,
     author = {I. Sh. Kalimullin and A. Kach and A. Montalb\'an and V. G. Puzarenko and M. Kh. Faizrakhmanov},
     title = {Jump inversions of algebraic structures and the $\Sigma$-definability},
     journal = {Algebra i logika},
     pages = {243--249},
     publisher = {mathdoc},
     volume = {57},
     number = {2},
     year = {2018},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2018_57_2_a6/}
}
TY  - JOUR
AU  - I. Sh. Kalimullin
AU  - A. Kach
AU  - A. Montalbán
AU  - V. G. Puzarenko
AU  - M. Kh. Faizrakhmanov
TI  - Jump inversions of algebraic structures and the $\Sigma$-definability
JO  - Algebra i logika
PY  - 2018
SP  - 243
EP  - 249
VL  - 57
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2018_57_2_a6/
LA  - ru
ID  - AL_2018_57_2_a6
ER  - 
%0 Journal Article
%A I. Sh. Kalimullin
%A A. Kach
%A A. Montalbán
%A V. G. Puzarenko
%A M. Kh. Faizrakhmanov
%T Jump inversions of algebraic structures and the $\Sigma$-definability
%J Algebra i logika
%D 2018
%P 243-249
%V 57
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2018_57_2_a6/
%G ru
%F AL_2018_57_2_a6
I. Sh. Kalimullin; A. Kach; A. Montalbán; V. G. Puzarenko; M. Kh. Faizrakhmanov. Jump inversions of algebraic structures and the $\Sigma$-definability. Algebra i logika, Tome 57 (2018) no. 2, pp. 243-249. http://geodesic.mathdoc.fr/item/AL_2018_57_2_a6/

[1] A. S. Morozov, “Ob otnoshenii $\Sigma$-svodimosti mezhdu dopustimymi mnozhestvami”, Sib. matem. zh., 45:3 (2004), 634–652 | MR | Zbl

[2] V. Baleva, “The jump operation for structure degrees”, Arch. Math. Logic, 45:3 (2006), 249–265 | DOI | MR | Zbl

[3] A. A. Soskova, “A jump inversion theorem for the degree spectra”, Computation and logic in the real world, Proc. Third conf. on computability in Europe CiE 2007 (Siena, Italy, June 18–23, 2007), Lect. Notes Comput. Sci., 4497, eds. S. B. Cooper et al., Springer-Verlag, Berlin, 2007, 716–726 | DOI | MR | Zbl

[4] A. A. Soskova, I. N. Soskov, “A jump inversion theorem for the degree spectra”, J. Log. Comput., 19:1 (2009), 199–215 | DOI | MR | Zbl

[5] A. Montalbán, “Notes on the jump of a structure”, Mathematical theory and computational practice, Proc. 5th conf. on computability in Europe CiE 2009 (Heidelberg, Germany, July 19–24, 2009), Lect. Notes Comput. Sci., 5635, eds. K. Ambos-Spies et al., Springer-Verlag, Berlin, 2009, 372–378 | DOI | MR | Zbl

[6] V. G. Puzarenko, “Ob odnoi svodimosti na dopustimykh mnozhestvakh”, Sib. matem. zh., 50:2 (2009), 415–429 | MR

[7] A. I. Stukachev, “Teorema ob obraschenii skachka dlya polureshetok $\Sigma$-stepenei”, Sib. elektron. matem. izv., 6 (2009), 182–190 http://semr.math.nsc.ru/v6/p182-190.pdf | MR | Zbl

[8] A. Montalbán, “Rice sequences of relations”, Philos. Trans. R. Soc. Lond. Ser. A. Math. Phys. Eng. Sci., 370:1971 (2012), 3464–3487 | DOI | MR | Zbl

[9] S. Goncharov, V. Harizanov, J. Knight, C. McCoy, R. Miller, R. Solomon, “Enumerations in computable structure theory”, Ann. Pure Appl. Logic, 136:3 (2005), 219–246 | DOI | MR | Zbl

[10] A. Montalbán, “Computability theoretic classifications for classes of structures”, Proc. of the Int. Congress of Math., ICM 2014 (Seoul, Korea, August 13–21, 2014), v. II, Invited lectures, eds. Sun Young Jang et al., KM Kyung Moon Sa, Seoul, 2014, 79–101 | MR | Zbl

[11] Yu. L. Ershov, Opredelimost i vychislimost, Sibirskaya shkola algebry i logiki, Nauchnaya kniga (NII MIOO NGU), Novosibirsk, 1996 | MR

[12] I. Sh. Kalimullin, V. G. Puzarenko, “O svodimosti na semeistvakh”, Algebra i logika, 48:1 (2009), 31–53 | MR | Zbl

[13] M. Faizrahmanov, I. Kalimullin, A. Montalbán, V. Puzarenko, “The least $\Sigma$-jump inversion theorem for $n$-families”, J. UCS, 23:6 (2017), 529–538 | MR

[14] I. N. Soskov, “A note on $\omega$-jump inversion of degree spectra of structures”, The nature of computation. Logic, algorithms, applications, Proc. 9th conf. on computability in Europe CiE 2013 (Milan, Italy, July 1–5, 2013), Lect. Notes Comput. Sci., 7921, eds. P. Bonizzoni et al., Springer-Verlag, Berlin, 2013, 365–370 | DOI | MR | Zbl