Alexandra Andreeva Soskova

Alexandra Andreeva Soskova

Researcher (R4)
+359 2 8161-524
Office hours: 

Monday 16-17 FzF 244
Friday 12-13 FzF 244

Contact information

Faculty of Physics at the University of Sofia. office 242


Honorary badge "St. Kliment Ohridski" - blue ribbon 2020

Scientific Interests

  • Computability 
  • Computable structure theory


  • Langueges, automata and computability
  • Discrete mathematics and algorithms
  • Discrete structures
  • Model theory


  • Computability on many-sorted partial structures, Compt. rend. de l'Acad. bulg.Sci. 43 (1990), 9-11.
  1. Effective abstract structures, Compt. l'Acad. bulg. Sci. 43 (1990), 5-8.
  2. An external aproach to Abstract Data Types I:Computability on ADT, Ann. Univ. Sofia 87 (1993) , 47 - 59.
  3. Effective structures, Mathematical Logic Quarterly 43 (1997), 235-250.
  4. Cospectra of joint spectra of a sequence ofstructures, 4th Panhellenic Logic Symposium (Thessaloniki, Greece),2003, 175-179.
  5. with I. N.Soskov, Effective enumerations ofabstract structures, Heyting'88 (New York) (P. Petkov, ed.), Plenum Press, 1990, pp.361--372.
  6. with I. N. Soskov, Admissibility in\Sigma^0_n enumerations, Ann. Univ. Sofia , 90, 1999, 77 - 90.
  7. with St. K. Nikolova, Programming theory inproblems, SofTeX, Sofia 1997.
  8. with I. N. Soskov, Cospectra of joint spectraof structures, Ann. Sofia Univ, Fac. Math and Inf., 96, 2003, 35-44.
  9. Minimal Pairs and Quasi-minimal degrees for the Joint Spectra of Structures. New Computational Pradigms (S. B. Cooper; B. Loewe, eds.) Lecture Notes in Comp. Sci , 3526, 2005,  Springer-Verlag, 451--460.
  10. Properties of the Joint Spectra ofsequence of structures, PLS5, Athens,2005
  11. Minimal Pairs and Quasi-Minimal degrees forJoint Spectra, LC2005, Athens.
  12. Kliment lecture, 2005, Computability and Degree Spectra of Structures.
  13. Properties of Co-spectra of joint spectra of structures. Ann. Sofia Univ., Fac. Math. and Inf. , 97,  2005, 15--32.
  14. RelativizedDeggree Spectra. Logical Approaches to Computational barriers (A. Beckmann; U.Berger;  B. Loewe; J. Tucker eds.),CiE2006, Swansea,Lecture Notes in Comp. Sci ,  3988, 2006,Springer-Verlag, 546--555.
  15. Degree Spectra of Structures. Leeds Logic Seminar, July, 2006.
  16. RelativizedDeggree Spectra,  LC2006, July,  Nijemegen.
  17. Relativized Degree Spectra, Journal of Logic and Computation, 17, 2007, Oxford Journals, 1215-1233
  18. A Jump Inversion Theorem for the Degree Spectra, CiE 2007, S.B. Cooper, B. L¨owe, and A. Sorbi (Eds.), LNCS 4497, 2007, Springer-Verlag, 716–726
  19. with I. N. Soskov, Jump spectra of abstract structures, PLS6, Volos,2007
  20. Omega-Degree Spectra, Logic and Theory of Algorithms, CiE 2008, Athens, A Beckmann, C Dimitracopoulos, B Löwe  (Eds.),  LNCS,  5028, 2008, Springer-Verlag
  21. with St. K.  Nikolova,  Semantics of the programming languages, Softex, 2008
  22. with I. N. Soskov, Some applications of the Jump Inversion theorem, Proceedings of the 7th Panhellenic Logic Symposium,   C. Drossos, P. Peppas, C. Tsinakis, (Eds.) 2009, 157-161
  23. with I. N. Soskov, A jump inversion theorem for the degree spectra, Journal of Logic and Computation, vol. 9 , 2009, 199-215
  24. with I.N. Soskov, Effective reducibilities and Degree spectra of Abstract structures, Proceedins of First International İstanbul Graduate Summer School in Logic  Modal logic and Its Applications, 2011, ILLC publications accepted
  25. with I. N. Soskov, Enumeration Degree Spectra of Abstract  Structures, Proceedings of the Conference "120 years FMI, SU", R. Levy (Eds), 2012
  26. with I. N. Soskov, Quasi-minimal degrees for degree spectra, Journal of Logic and Computation, 2013, 23 (6) doi: 10.1093/logcom/ext045, 1319-1334
  27. with  S. Vatev and A. Terziivanov, Generalization of the notion of jump sequence of sets for sequences of structures, Proceedings of PLS10, 2015, Eds. C. Dimitracopolous and T. Phiedas, University of Aegean Press, (2015) 25-29. 
  28. with M. I. Soskova, Enumeration Reducibility and Computable Structure Theory,  Computability and Complexity, Lecture Notes in Computer Science, 10010 (2016) 271-301. 
  29. with L. Ivanov and I. Georgiev,To Dimiter Skordev from his students, Proceedings of the 46th Spring Conference of the Union of Bulgarian Mathematicians, Borovetz, Bulgaria, (2017) 52-62.
  30. with R. Elwes, A. Lewis-Pye, B. Loewe, D. Macpherson, D. Normann, M. I. Soskova, P. van Emde Boas, S. Wainer, S. Barry Cooper (1943-2015),  Computability, 7 (2-3) (2018) 103-131.
  31. with W. Calvert, A. Frolov, V. Harizanov, J. Knight C. McCoy, S. Vatev, Strong Jump Inversion, Journal of Logic and Computation, 28 (7) (2018) 1499-1522. 
  32.  with  U. Andrews, H. Ganchev, R. Kuyper, S. Lempp, J. S. Miller,  M. Soskova, On cototality and the skip operator in the enumeration degrees, The Transactions of American Mathematical Society, 372 (3) (2019) 1631-1670.
  33. with R. Dimitrov, V. Harizanov, A. Morozov, P. Shafer, S. Vatev, Cohesive Powers of Linear Orders,  Computing with Foresight and Industry, CiE 2019, EDS. Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, Lecture Notes in Computer Science 11558 (2019) 168-180. 
  34. with  J. Knight,  S. Vatev, Coding in graphs and linear ordering, The Journal of Symbolic Logic, 85(2),(2020) 673-690. doi:10.1017/jsl.2019.91
  35. with R. Alvir, W.Calvert, G.Goodman, V. Harizanov, J. Knight, R. Miller, A. Morozov, R. Waisshaar, Interpreting a field in its Heisenberg groups, The Journal of Symbolic Logic , Volume 87 Issue 3 , 2022 , pp. 1215 - 1230, DOI:
  36. with R. Dimitrov, V. Harizanov, A. Morozov, P. Shafer, S. Vatev,  On Cohesive Powers of Linear Orders,The Journal of Symbolic Logic, 88(3), (2023) 947-1004. doi:10.1017/jsl.2023.14