Geodesic
Structural theory of degrees of unsolvability: advances and open problems
Algebra i logika, Tome 54 (2015) no. 4, pp. 529-535.

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

Presented by the Program Committee of the Conference “Mal'tsev Readings”. 
@article{AL_2015_54_4_a7,
     author = {M. M. Arslanov},
     title = {Structural theory of degrees of unsolvability: advances and open problems},
     journal = {Algebra i logika},
     pages = {529--535},
     publisher = {mathdoc},
     volume = {54},
     number = {4},
     year = {2015},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2015_54_4_a7/}
}
TY  - JOUR
AU  - M. M. Arslanov
TI  - Structural theory of degrees of unsolvability: advances and open problems
JO  - Algebra i logika
PY  - 2015
SP  - 529
EP  - 535
VL  - 54
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2015_54_4_a7/
LA  - ru
ID  - AL_2015_54_4_a7
ER  - 
%0 Journal Article
%A M. M. Arslanov
%T Structural theory of degrees of unsolvability: advances and open problems
%J Algebra i logika
%D 2015
%P 529-535
%V 54
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2015_54_4_a7/
%G ru
%F AL_2015_54_4_a7
M. M. Arslanov. Structural theory of degrees of unsolvability: advances and open problems. Algebra i logika, Tome 54 (2015) no. 4, pp. 529-535. http://geodesic.mathdoc.fr/item/AL_2015_54_4_a7/

[1] S. Lempp, M. Lerman, D. Solomon, “Embedding finite lattices into the computably enumerable degrees – a status survey”, Logic colloquium'02, Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL) and the Colloquium Logicum (Münster, Germany, August 3–11, 2002), Lect. Notes Log., 27, eds. Z. Chatzidakis et al., A K Peters, Wellesley, MA; Assoc. Symbol. Log., Urbana, IL, 2006, 206–229 | MR | Zbl

[2] T. A. Slaman, R. I. Soare, “Extension of embeddings in the computably enumerable degrees”, Ann. Math. (2), 154:1 (2001), 1–43 | DOI | MR | Zbl

[3] K. Ambos-Spies, C. G. Jockusch (jun.), R. A. Shore, R. I. Soare, “An algebraic decomposition of the recursively enumerable degrees and the coincidence of several degree classes with the promptly simple degrees”, Trans. Am. Math. Soc., 281 (1984), 109–128 | DOI | MR | Zbl

[4] M. Lerman, Degrees of unsolvability. Local and global theory, Perspect. Math. Log., Springer-Verlag, Berlin etc., 1983 | MR | Zbl

[5] M. M. Arslanov, I. Sh. Kalimullin, S. Lempp, “On Downey's conjecture”, J. Symb. Log., 75:2 (2010), 401–441 | DOI | MR | Zbl

[6] K. Ambos-Spies, M. Lerman, “Lattice embeddings into the recursively enumerable degrees”, J. Symb. Log., 51 (1986), 257–272 | DOI | MR | Zbl

[7] K. Ambos-Spies, M. Lerman, “Lattice embeddings into the recursively enumerable degrees. II”, J. Symb. Log., 54:3 (1989), 735–760 | DOI | MR | Zbl

[8] R. Downey, “D-r.e. degrees and the nondiamond theorem”, Bull. Lond. Math. Soc., 21:1 (1989), 43–50 | DOI | MR | Zbl

[9] A. Li, X. Yi, “Cupping the recursively enumerable degrees by d.r.e. degrees”, Proc. Lond. Math. Soc. III Ser., 79:1 (1999), 1–21 | DOI | MR

[10] G. Barmpalias, M. Cai, S. Lempp, T. A. Slaman, “On the existence of a strong minimal pair”, J. Math. Log., 15:1 (2015), 1550002, 41 pp. | DOI | MR

[11] M. M. Arslanov, “O strukture stepenei nizhe $0'$”, Izv. vuzov. Matem., 1988, no. 7, 27–33 | MR | Zbl