Conservative Extensions of Abstract Structures. - Stefan V. Vatev (CiE, 2011)

Another Jump Inversion Theorem for Structures. - Stefan V. Vatev (CiE, 2013)

Strong jump inversion. - Wesley Calvert; Andrey N. Frolov; Valentina S. Harizanov; Julia F. Knight; Charles F. D. McCoy; Alexandra A. Soskova; Stefan V. Vatev (J. Log. Comput., 2018)

Effective Embeddings for Pairs of Structures. - Nikolay Bazhenov 001; Hristo Ganchev; Stefan V. Vatev (CiE, 2019)

A Note on Computable Embeddings for Ordinals and Their Reverses. - Nikolay Bazhenov 001; Stefan V. Vatev (CiE, 2020)

Coding in graphs and linear Orderings. - Julia F. Knight; Alexandra A. Soskova; Stefan V. Vatev (J. Symb. Log., 2020)

On Cohesive powers of linear Orders. - Rumen D. Dimitrov; Valentina S. Harizanov; Andrei S. Morozov; Paul Shafer; Alexandra A. Soskova; Stefan V. Vatev (J. Symb. Log., 2023)

Learning Families of Algebraic Structures from Text. - Nikolay Bazhenov 001; Ekaterina B. Fokina; Dino Rossegger; Alexandra A. Soskova; Stefan V. Vatev (CiE, 2024)

A Lopez-Escobar Theorem for continuous Domains. - Nikolay Bazhenov 001; Ekaterina B. Fokina; Dino Rossegger; Alexandra A. Soskova; Stefan V. Vatev (J. Symb. Log., 2025)