Personal tools
You are here: Home Departments Mathematical Logic and Applications Prof. Ivan Soskov, Dr. Habil (deceased) Publications of Prof. Ivan Soskov, Dr. Habil

Publications of Prof. Ivan Soskov, Dr. Habil


  1.  I. N. Soskov and Hristo Ganchev, The jump operator on the ω-enumeration degrees, to appear in Annals of Pure and Applied Logic.
  2.  Hristo Ganchev and I. N. Soskov, The groups Aut(D_e)  and  Aut(D_ω) are isomorphic, 6th Pan-Hellenic Logic Symposium, Volos, 2007.

  3. I. N. Soskov, The ω-enumeration degrees,  Journal of Logic and Computation, 17(2007), pp. 1193 -- 1217.
  4. I. N. Soskov and  B. Kovachev, Uniform regular enumerations, in Barry Cooper, Benedikt Löwe, Dag Normann (eds.), Mathematics of Computation at CiE 2005,  Maths. Struct. in Comp. Science,  16 (2006), pp. 901 – 924
  5. I. N. Soskov and V. Baleva, Ash’s theorem for abstract structures, in Z. Chatzidakis, P. Koepke, W. Pohlers (eds.), Logic Colloquium’02, Lecture Notes in Logic, 27 (2006), pp. 327 – 341.
  6. I. N. Soskov, Uniform Operators, New Computational Pradigms (S. B. Cooper; B. Loewe, ed.). Lecture Notes in Comp. Science,  3526 (2005), Springer-Verlag, 441-450
  7. I. N. Soskov, Degree spectra and co-spectra of structures, Ann. Univ. Sofia, 96(2004), pp. 45-68.
  8.  I. N. Soskov and A. A. Soskova, Co-spectra of joint spectra of structures, Ann. Univ. Sofia, 96(2004), pp.35-44.
  9. I. N. Soskov, Degree Spectra and co-spectra of structures, Invited lecture, Fourth Panhelenic Logic Symposium, Thessaloniki, July 7 – 10, 2003, Greece.
  10.  I. N. Soskov and V. Baleva, Regular enumerations, J. Symbolic Logic 67(2002), 1323–1343. 
  11. I. N. Soskov, Elements of least degree of families of sets, Third Panhellenic Logic Symposium (Crete) (E. Kranakis, ed.), 2001.
  12.  I. N. Soskov, A jump inversion theorem for the enumeration jump, Arch. Math. Logic 39 (2000), 417–437.
  13. A. A. Soskova and I. N. Soskov, Admissibility in $\Sigma^0_n$-enumerations, Ann. Univ. Sofia 90 (1999), 77–90.
  14. I. N. Soskov, Constructing minimal pairs of degrees, Ann. Univ. Sofia 88 (1997), 101–112.
  15. I. N. Soskov, Intrinsically $\Pi^1_1$-relations, Mathematical Logic Quarterly 42 (1996), 109–126.
  16.  I. N. Soskov, Intrinsically hyperarithmetical sets, Mathematical Logic Quarterly 42 (1996), 469–480.
  17.  I. N. Soskov, Maximal concepts of computability on abstract structures, J. Symbolic Logic 57 (1992), 287.
  18. I. N. Soskov, Second order definability via enumerations, Zeitschr. f. math Logik und Grundlagen d. Math. 37 (1991), 45 – 54.
  19. I. N. Soskov, Computability by means of effectively definable schemes and definability via enumerations, Arch. Math. Logic 29 (1990), 187–200.
  20.  I. N. Soskov, On the computational power of the logic programs, Heyting’88 (Varna) (P. Petkov, ed.), Plenum Press, 1990, pp. 117–137.
  21. A. A. Soskova and I. N. Soskov, Effective enumerations of abstract structures, Heyting’88 (Varna) (P. Petkov, ed.), Plenum Press, 1990, pp. 361–372.
  22. I. N. Soskov, Horn clause programs on abstract structures with parameters, Ann. Univ. Sofia 84 (1990), 53–61. I.
  23. N. Soskov, Maximal concepts of computability and maximal programming languages, Технически отчет, Договор № 247/1987 с Министерството на културата, науката и образованието, Лаборатория по приложна логика, Софийски университет, 1989.
  24. I. N. Soskov, An external characterization of the Prime computability, Ann. Univ. Sofia 83 (1989), 89–111.
  25. I. N. Soskov, Definability via enumerations, J. Symbolic Logic 54 (1989), 428–440.
  26.  I. N. Soskov, Prime computability on partial structures, Mathematical logic and its applications (D. Skordev, ed.), Plenum Press, 1987, pp. 341–350.
  27. И. Н. Сосков, Абстрактна изчислимост и определимост: външен подход, Дисертация за присъждане на научната степен доктор на математическите науки, Софийски Университет, 2000.
  28. И. Н. Сосков, А. В. Дичев, Теория на програмите, Изд. на СУ, София, 1996.
  29. И. Н. Сосков, Связь простой вычислимости с рекурсивностью в функциональных комбинаторных пространствах, Математическая теория программирования (Новосибирск) (ред. А. П. Ершов и Д. Г. Скордев), Изд. ВЦ СОАН, 1985, 4-11.
  30. И. Н. Сосков, Просто вычислимые функции в основном множестве, Математическая логика (София) (ред. Д.Г. Скордев), Изд. БАН, 1984, 112-138.
  31. И. Н. Сосков, Изчислимост в частични алгебрични системи, Дисертация за присъждане на научната степен кандидат на математическите науки, Софийски Университет, 1983.
  32. И. Н. Сосков, Вычислимость в алгебраических системах, Докл. БАН 36 (1983), 301-303.
  33. И. Н. Сосков, Алгоритмически полные алгебраические системы, Докл. БАН 36 (1983), 729-731.
  34.  И. Н. Сосков, Пример полного по Московакису базиса, которы не является программного полным, Математическая теория и практика систем программного обеспечения (Новосибирск) (ред. А. П. Ершов, ), Изд. ВЦ СОАН, 1982, 26-33.
Document Actions