Stefan V. Vatev

According to our database, Stefan V. Vatev authored at least 7 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

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

2020

Coding in graphs and linear Orderings.

Julia F. Knight, Alexandra A. Soskova, Stefan V. Vatev

J. Symb. Log., 2020

A Note on Computable Embeddings for Ordinals and Their Reverses.

Nikolay Bazhenov, Stefan V. Vatev

Proceedings of the Beyond the Horizon of Computability, 2020

2019

Effective Embeddings for Pairs of Structures.

Nikolay Bazhenov, Hristo Ganchev, Stefan V. Vatev

Proceedings of the Computing with Foresight and Industry, 2019

2018

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

2013

Another Jump Inversion Theorem for Structures.

Stefan V. Vatev

Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

2011

Conservative Extensions of Abstract Structures.

Stefan V. Vatev

Proceedings of the Models of Computation in Context, 2011