Поиск     English    
      КФУ > Факультеты > Механико-математический > Кафедра алгебры и математической логики > Личные страницы

 Общая информация
 Научные направления
 Курсы специализации
 Конференции
 Методические пособия
 Сотрудники
Отдел алгебры и математической логики
 Диссертационный совет
 Студентам
 Кафедральные семинары
 Из истории кафедры
 
Арсланов М.М.: Список основных публикаций

  1. Две теоремы о рекурсивно перечислимых множествах, Алгебра и логика, 1968 т.7, №3, с.4-9 .
  2. Об эффективно гиперпростых множествах, Алгебра и логика, 1969 т.8, №2, c. 143-154.
  3. О вложениях рекурсивно перечислимых множеств, Сб. аспир. работ, Казань, из-во КГУ, 1969 с. 9-16.
  4. О полных гипергиперпростых множествах , Сб. аспир. работ, Казань, КГУ, 1969 с.119-125.
  5. О полных гиперпростых множествах, Известия Вузов, матем., 1970 №1, с.30-36.
  6. О плотности по вложению классов р.п. множеств, Вероятн. методы и кибернетика, вып.12, 1976 с. 18-25.
  7. Критерий полноты рекурсивно перечислимых множеств и некоторые обобщения теоремы о неподвижной точке, Известия вузов, Матем., 1977 №4, с. 3-9.
  8. Слабо рекурсивно перечислимые степени и предельная вычислимость, Вероятн. методы и кибернетика, 1979 вып.15, с. 21-30.
  9. Эффективизация определений классов простых множеств, Межвузовский сб. ”Алгоритмы и автоматы”, Казань, КГУ, 1979 с.
  10. О некоторых обобщениях теоремы о неподвижной точке, Известия вузов, Матем., 1981 №5, с. 9-18.
  11. Об одной иерархии степеней неразрешимости, Вероятн. методы и кибернетика, 1982 вып.18, с. 24-35.
  12. A hierarchy of degrees of unsolvability, Proc. of LMPS Congress, Salzburg, 1983 p.63-67.
  13. Семейства рекурсивно перечислимых множеств и их степени неразрешимости, Известия Вузов, Матем., 1985 т. 275 №4, с. 13-20.
  14. Структурные свойства степеней ниже 0’, ДАН СССР, 1985 т.283, №2, с. 270-273.
  15. Эффективно гипериммунные множества и мажоранты, Мат. заметки, 1985 т.38, №2, с. 302-309.
  16. m-сводимость и неподвижные точки, Межвуз. Сб.: «Сложностные проблемы математической логики», Калинин, 1985 с.12-20.
  17. Об одном классе гиперпростых неполных множеств, Мат. заметки, 1985,т.38, №6, с. 872-875.
  18. Классы эффективно гипериммунных множеств и их степени, Вероятн. методы и киберн., 1985 вып.21, с. 6-33.
  19. Рекурсивно перечислимые множества и степени неразрешимости, Казань, изд-во КГУ, 1986.
  20. Oператор скачка и Т-неподвижные точки, Межвуз. сб. «Логические методы построения программ», Калинин, 1986 с. 19-26.
  21. The recursion theorem, approximations, and classifying index sets of r. e. sets, Lect. Notes in Computer Science., v. 278 1987 p. 33-37.
  22. Локальная теория степеней неразрешимости, Казань, изд-во КГУ, 1987.
  23. О структуре степеней ниже 0’, Известия вузов, Матем., 1988 №7, с. 27-34.
  24. Полнота в арифметической иерархии и неподвижные точки, Алгебра и логика, 1989 т. 28 №1, с. 3-17.
  25. On the structure of degrees below 0’, Lect. Notes in Math., 1990 v. 1432 p. 23-32.
  26. Полнота арифметических множеств под теоретико- множественными операциями, Известия Вузов, Матем., 1993 №9, с. 3-8.
  27. Свойства слабой плотности d-р.п. степеней, Межвуз. сборник «Методы и системы технической диагностики», Саратов, 1993 с. 5-8.
  28. Contributions to the history of variations of weak density in the n-r.e. degrees, Proc. of IX LMPS Congress, Elsevier, 1994 p. 199-208.
  29. Interpolating d-r.e. and REA degrees between r.e. degrees, Annals of Pure and Applied Logic, v.78, 1996 p. 29-56.
  30. Isolating r.e. and isolated d-r.e. degrees, London Math. Soc. Lect. Notes Series, v. 224 1996 p. 61-80.
  31. Degree structures in the local degree theory, Lecture Notes in Pure and Applied Math., 1997 vol.187, p. 49-74.
  32. Relative recursive enumerability and the difference hierarchy, Bull. Of Symbolic Logic, v. 3 №1, 1997 p. 97-98.
  33. Relative enumerability in the difference hierarchy, J.of Symb. Logic, 1998 v. 63 p. 411-420.
  34. Weak presentations of computable partial orderings , Proc. of VI Asian Logic Conference, Singapore, World Scientific, 1998 p. 31-46.
  35. Relative splittings of 0’ in the Delta-2-0-enumeration degrees Lecture Notes in Logic, v. 13 1998 p. 44-56. (with A. Sorbi)
  36. Open questions about the n-c.e. degrees, Contemporary Mathematics, v. 257 2000 p. 15-22 .
  37. There is no low maximal d-c.e. degree, Math. Logic Quarterly, v. 46 2000 p. 409—416. (S.B. Cooper , A. Li)
  38. Density results in the Delta-2-0-e-degrees, Archive for Math. Logic, v. 40 2001 p. 597-614. (I. Sh. Kalimullin, A. Sorbi)
  39. A note on minimal and maximal ideals of ordered semigroups, Lobachevskii Journal of Math. 2002 v.11, p. 3-6. (N. Kehayopulu )
  40. Таблично-полные множества и Колмогоровская сложность вычислений, Юбилейный сборник избранных трудов членов АН РТ, Казань: Фолиант, 2002 с. 199-209.
  41. Свойства разложения тотальных степеней перечислимости, Алгебра и логика, 2003 т. 42 -1 , с. 3-25. (И.Ш. Калимуллин, С.Б. Купер)
  42. Truth-table complete computably enumerable sets, Computability and models, S.B. Cooper and S.S. Goncharov, editors, 2003 c. 1-10.
  43. The minimal e-degree problem in fragments of Peano arithmetic, Annals of Pure and Applied Math., v. 131 2005 p.159-175 (C.T. Chong, S. Barry Cooper, Y. Yang)
  44. Исследования по теории вычислимости, На рубеже веков, Казанское мат. общество, 2003 c. 50-68. (И.Ш. Калимуллин)
  45. There is no low maximal d-c.e. degree, Currigendum, Math. Logic Quarterly, v. 50 2004 p. 409-416. (S.B. Cooper , A. Li)
  46. Generalized Tabular Reducibilities in Infinite Levels of Ershov Difference Hierarchy, Lecture Notes in Computer Science, v. 88 2006 p. 15-23.
  47. Definability and Elementary Equivalence in the Ershov Difference Hierarchy, Lecture Notes in Logic, 2008 to appear.
  48. Слабые представления вычислимых частично-упорядоченных полугрупп, Известия Вузов, Математика , т.3, 2006 с. 03.авг (Кехайопулу Н.)
  49. Problems of definability and structural differences among elementary theories of the Ershov difference hierarchy, Bull. Symb. Logic, v. 13 2007 p. 253.
  50. Иерархия Ершова, Казань, из-во КГУ, 2007 86 с.
  51. Элементы математической логики, Казань, из-во КГУ, 2007 64 с. (И.Ш. Калимуллин)
  52. Total degrees and nonsplitting properties of Sigma-2-0-enumeration degrees, Lect. Notes in Computer Science, v. 4978 2008 589-596 (Cooper S.B., Kalimullin I.Sh., Soskova M.)
  53. Структурная теория степеней неразрешимости, Труды НИИММ им. Н.Г. Чеботарева, Казань, Казанское мат. общество, 2008 c. 54-68.
  54. Turing degree structures in the Ershov difference hierarchy, Proc. of VIII International Conference in Pure Mathematics, Islamabad, Pakistan, 2008 p. 21-32.
  55. Q-degrees of n-c.e. sets, Illinois Journal of Math., v. 51 2008 p. 1189-1206 (Omanadze R.Sh.)
  56. Turing degree structures in the Ershov difference hierarchy, Proc. of VIII International Conference in Pure Mathematics, Islamabad, Pakistan, 2008 p. 21-32.
  57. The Ershov Hierarchy, in: “Computability in Context: Computation and Logic in the Real World” (S.B. Cooper, A. Sorbi, eds.), Imperial College Press/World Scientific, to appear.
  58. Structural properties of Q-degrees of n-c.e. sets, Annals of Pure and Applied Logic, v. 156 2008 p. 13-20. (Batyrshin I.I., Omanadze R.Sh.)


© 1995-2012 Казанский федеральный университет