Stefan V. Vatev

11 papers C 6Journal 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Punctually Standard and Nonstandard Models of Natural Numbers.
CoRR
Nikolay Bazhenov, Ivan Georgiev, Dariusz Kalocinski, Stefan V. Vatev, Michal Wroclawski
2025 J jnl
A Lopez-Escobar Theorem for continuous Domains.
J. Symb. Log.
Nikolay Bazhenov, Ekaterina B. Fokina, Dino Rossegger, Alexandra A. Soskova, Stefan V. Vatev
2024 C conf
Learning Families of Algebraic Structures from Text.
CiE
Nikolay Bazhenov, Ekaterina B. Fokina, Dino Rossegger, Alexandra A. Soskova, Stefan V. Vatev
2023 J jnl
On Cohesive powers of linear Orders.
J. Symb. Log.
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev
2020 C conf
A Note on Computable Embeddings for Ordinals and Their Reverses.
CiE
Nikolay Bazhenov, Stefan V. Vatev
2020 J jnl
Coding in graphs and linear Orderings.
J. Symb. Log.
Julia F. Knight, Alexandra A. Soskova, Stefan V. Vatev
2019 C conf
Cohesive Powers of Linear Orders.
CiE
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev
2019 C conf
Effective Embeddings for Pairs of Structures.
CiE
Nikolay Bazhenov, Hristo Ganchev, Stefan V. Vatev
2018 J jnl
Strong jump inversion.
J. Log. Comput.
Wesley Calvert, Andrey N. Frolov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Alexandra A. Soskova, Stefan V. Vatev
2013 C conf
Another Jump Inversion Theorem for Structures.
CiE
Stefan V. Vatev
2011 C conf
Conservative Extensions of Abstract Structures.
CiE
Stefan V. Vatev