Stefan V. Vatev

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

Collaborative distances:

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

2026

Punctually Standard and Nonstandard Models of Natural Numbers.

Nikolay Bazhenov, Ivan Georgiev, Dariusz Kalocinski, Stefan V. Vatev, Michal Wroclawski

CoRR, March, 2026

2025

A Lopez-Escobar Theorem for continuous Domains.

Nikolay Bazhenov, Ekaterina B. Fokina, Dino Rossegger, Alexandra A. Soskova, Stefan V. Vatev

J. Symb. Log., 2025

2024

Learning Families of Algebraic Structures from Text.

Nikolay Bazhenov, Ekaterina B. Fokina, Dino Rossegger, Alexandra A. Soskova, Stefan V. Vatev

Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024

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

Cohesive Powers of Linear Orders.

Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev

Proceedings of the Computing with Foresight and Industry, 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