Дополнительная информация
(Исследования по теории вычислимости, вычислимых алгебраических структур и их спектров по тьюринговой и нумерационной сводимости.
Публикации:
Andrews U., Cai M., Kalimullin I.S., Lempp S., Miller J.S., Montalbán A. The complements of lower cones of degrees and the degree spectra of structures // J. Symbolic Logic. -2016. -V. 81. -P. 997-1006.
Arslanov M.M, Kalimullin I.S., A survey of results on the d-c.e. and n-c.e. degrees // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 2017. - Vol.10010, Is.. - P.469-478.
Fokina E., Frolov A., Kalimullin I. Categoricity spectra for rigid structures // Notre Dame Journal of Formal Logic. - 2016, Vol. 56, № 1, pp. 45-57.
Wu G., Yamaleev M. M. There are no maximal d.c.e. wtt-degrees / G. Wu, M. M. Yamaleev // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 2017. - Vol.10010. - P.479-486.
Зубков М.В. Достаточные условия существования $0'$-предельно монотонных функций для вычислимых $\eta$-схожих линейных порядков // Сибирский математический журнал - 2017. - № 1. - С. 107?121 .
Файзрахманов М.Х. Минимальные обобщенно вычислимые нумерации и высокие степени // Сибирский математический журнал. - 2017. - №. 3. - С. 710-716.) |