PUBLICATIONS OF IVAN N. SOSKOV

 

1. I. N. Soskov, Effective properties of Marker's extensions, preprint, March 2013.

2. I. N. Soskov, A note on ω-jump inversion of degree spectra of structures, Computability in Europe, Paola Bonizzoni, Vasco Bratka, Benedikt Loewe eds., LNCS 2013, Springer

3. I. N. Soskov and M. I. Soskova, Kalimullin pairs of  Sigma-0-2 omega-enumeration degrees,  Journal of Software and Informatics, v. 5(2011), 637-658.

4. M. I. Soskova and I. N. Soskov, Embedding countable partial orderings  into the enumeration and $\omega$-enumeration degrees,  Journal of Logic and Computation, doi:10.1093/logcom/exq051

5. A. A. Soskova and I. N. Soskov, A jump inversion theorem for the degree spectra,  Journal of Logic and Computation, 19(2009), 199-215.

6.  I. N. Soskov and Hristo Ganchev, The jump operator on the ω-enumeration degrees, Annals of Pure and Applied Logic 160(2009), 289--301.

7. Hristo Ganchev and I. N. Soskov, The groups Aut(D_e)  and  Aut(D_ω) are isomorphic, 6th Pan-Hellenic Logic Symposium, Volos, 2007.

8. I. N. Soskov, The ω-enumeration degrees,  Journal of Logic and Computation, 17(2007), pp. 1193 -- 1217.

9. 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

10. 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.

11. 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

12. I. N. Soskov, Degree spectra and co-spectra of structures, Ann. Univ. Sofia, 96(2004), pp. 45-68.

13.  I. N. Soskov and A. A. Soskova, Co-spectra of joint spectra of structures, Ann. Univ. Sofia, 96(2004), pp.35-44.

14. I. N. Soskov, Degree Spectra and co-spectra of structures, Invited lecture, Fourth Panhelenic Logic Symposium, Thessaloniki, July 7 – 10, 2003, Greece.

15.  I. N. Soskov and V. Baleva, Regular enumerations, J. Symbolic Logic 67 (2002), 1323–1343. 

16. I. N. Soskov, Elements of least degree of families of sets, Third Panhellenic Logic Symposium (Crete) (E. Kranakis, ed.), 2001.

17.  I. N. Soskov, A jump inversion theorem for the enumeration jump, Arch. Math. Logic 39 (2000), 417–437.

18. A. A. Soskova and I. N. Soskov, Admissibility in $\Sigma^0_n$-enumerations, Ann. Univ. Sofia 90 (1999), 77–90.

19. I. N. Soskov, Constructing minimal pairs of degrees, Ann. Univ. Sofia 88 (1997), 101–112.

20. I. N. Soskov, Intrinsically $\Pi^1_1$-relations, Mathematical Logic Quarterly 42 (1996), 109–126.

21.  I. N. Soskov, Intrinsically hyperarithmetical sets, Mathematical Logic Quarterly 42 (1996), 469–480.

22.  I. N. Soskov, Maximal concepts of computability on abstract structures, J. Symbolic Logic 57 (1992), 287.

23. I. N. Soskov, Second order definability via enumerations, Zeitschr. f. math Logik und Grundlagen d. Math. 37 (1991), 45 – 54.

24. I. N. Soskov, Computability by means of effectively definable schemes and definability via enumerations, Arch. Math. Logic 29 (1990), 187–200.

25.  I. N. Soskov, On the computational power of the logic programs, Heyting’88 (Varna) (P. Petkov, ed.), Plenum Press, 1990, pp. 117–137.

26. A. A. Soskova and I. N. Soskov, Effective enumerations of abstract structures, Heyting’88 (Varna) (P. Petkov, ed.), Plenum Press, 1990, pp. 361–372.

27. I. N. Soskov, Horn clause programs on abstract structures with parameters, Ann. Univ. Sofia 84 (1990), 53–61. I.

28. N. Soskov, Maximal concepts of computability and maximal programming languages, Технически отчет, Договор № 247/1987 с Министерството на културата, науката и образованието, Лаборатория по приложна логика, Софийски университет, 1989.

29. I. N. Soskov, An external characterization of the Prime computability, Ann. Univ. Sofia 83 (1989), 89–111.

30. I. N. Soskov, Definability via enumerations, J. Symbolic Logic 54 (1989), 428–440.

31.  I. N. Soskov, Prime computability on partial structures, Mathematical logic and its applications (D. Skordev, ed.), Plenum Press, 1987, pp. 341–350.

32. И. Н. Сосков, Абстрактна изчислимост и определимост: външен подход, Дисертация за присъждане на научната степен доктор на математическите науки, Софийски Университет, 2000.

33. И. Н. Сосков, А. В. Дичев, Теория на програмите, Изд. на СУ, София, 1996.

34. И. Н. Сосков, Связь простой вычислимости с рекурсивностью в функциональных комбинаторных пространствах, Математическая теория программирования (Новосибирск) (ред. А. П. Ершов и Д. Г. Скордев), Изд. ВЦ СОАН, 1985, 4-11.

35. И. Н. Сосков, Просто вычислимые функции в основном множестве, Математическая логика (София) (ред. Д.Г. Скордев), Изд. БАН, 1984, 112-138.

36. И. Н. Сосков, Изчислимост в частични алгебрични системи, Дисертация за присъждане на научната степен кандидат на математическите науки, Софийски Университет, 1983.

37. И. Н. Сосков, Вычислимость в алгебраических системах, Докл. БАН 36 (1983), 301-303.

38. И. Н. Сосков, Алгоритмически полные алгебраические системы, Докл. БАН 36 (1983), 729-731.

39.  И. Н. Сосков, Пример полного по Московакису базиса, которы не является программного полным, Математическая теория и практика систем программного обеспечения (Новосибирск) (ред. А. П. Ершов, ), Изд. ВЦ СОАН, 1982, 26-33.