Preprints and Publications

• Learning Families of Algebraic Structures from Text. N. Bazhenov, E. Fokina, D. Rossegger, A. Soskova and S. Vatev
  Proceedings of the CiE (2024) [arXiv] [doi]
• A Lopez-Escobar Theorem for Continuous Domains. N. Bazhenov, E. Fokina, D. Rossegger, A. Soskova and S. Vatev
  Journal of Symbolic Logic [arXiv] [doi]
• On cohesive powers of linear orders. R. Dimitrov, V. Harizanov, A. Morozov, P. Shafer, A. Soskova and S. Vatev
  Journal of Symbolic Logic, vol. 88, no. 3 (2023), pp. 974 - 1004 [arXiv] [doi]
• Computable embeddings for pairs of linear orders. N. Bazhenov, H. Ganchev, and S. Vatev
  Algebra and Logic, vol. 60, no. 3 (2021), pp. 163 - 187 [arXiv] [doi]
• Coding in graphs and linear orderings. J. Knight, A. Soskova, and S. Vatev
  Journal of Symbolic Logic, vol. 85, no. 2 (2020), pp. 673 - 690 [arXiv] [doi]
• A note on computable embeddings for ordinals and their reverses. N. Bazhenov and S. Vatev
  Proceedings of the CiE (2020) pp. 1 - 13 [arXiv] [doi]
• Effective embeddings for pairs of structures. N. Bazhenov, H. Ganchev, and S. Vatev
  Proceedings of the CiE (2019) pp. 84 - 95 [arXiv] [doi]
• Cohesive powers of linear orders. R. Dimitrov, V. Harizanov, A. Morozov, P. Shafer, A. Soskova, and S. Vatev
  Proceedings of the CiE (2019) pp. 168 - 180 [arXiv] [doi]
• Computable embedding of classes of algebraic structures with congruence relation. H. Ganchev, I. Kalimullin, and S. Vatev
  Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, vol. 160, no. 4 (2018), pp. 731 - 737 (In Russian) [pdf] [link]
• Strong jump inversion. W. Calvert, A. Frolov, V. Harizanov, J. Knight, C. McCoy, A. Soskova, and S. Vatev
  Journal of Logic and Computation, vol. 28, no. 7 (2018), pp. 1499 - 1522 [arXiv] [doi]
• Generalization of the notion of jump sequence of sets for sequences of structures. A. Soskova, A. Terziivanov, and S. Vatev
  Proceedings of PLS10 (2015) pp. 25 - 29 [pdf] [link]
• On the notion of jump structure. S. Vatev
  Annual of Sofia University, vol. 102 (2015) pp. 171 - 206 [pdf] [link]
• Another jump inversion theorem for structures. S. Vatev
  Proceedings of the CiE (2013) pp. 414 - 423 [pdf] doi]
• Conservative extensions of abstract structures. S. Vatev
  Proceedings of the CiE (2011) pp. 300 - 309 [pdf] [doi]