Stefan V. Vatev

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 6

Top Topics

Linear Constraints

Top Venues

J. Log. Comput.

Publications

Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev
On Cohesive powers of linear Orders. J. Symb. Log. 88 (3) (2023)
Julia F. Knight, Alexandra A. Soskova, Stefan V. Vatev
Coding in graphs and linear Orderings. J. Symb. Log. 85 (2) (2020)
Nikolay Bazhenov, Stefan V. Vatev
A Note on Computable Embeddings for Ordinals and Their Reverses. CiE (2020)
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev
Cohesive Powers of Linear Orders. CiE (2019)
Nikolay Bazhenov, Hristo Ganchev, Stefan V. Vatev
Effective Embeddings for Pairs of Structures. CiE (2019)
Wesley Calvert, Andrey N. Frolov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Alexandra A. Soskova, Stefan V. Vatev
Strong jump inversion. J. Log. Comput. 28 (7) (2018)
Stefan V. Vatev
Another Jump Inversion Theorem for Structures. CiE (2013)
Stefan V. Vatev
Conservative Extensions of Abstract Structures. CiE (2011)