Подписаться
Stefan Vatev
Stefan Vatev
Assistant Professor, Sofia University
Подтвержден адрес электронной почты в домене fmi.uni-sofia.bg - Главная страница
Название
Процитировано
Процитировано
Год
Conservative extensions of abstract structures
S Vatev
Conference on Computability in Europe, pp. 300-309, 2011
82011
Coding in graphs and linear orderings
J Knight, A Soskova, S Vatev
Journal of Symbolic Logic 85 (2), 673 - 690, 2020
62020
Strong jump inversion
W Calvert, A Frolov, V Harizanov, J Knight, C McCoy, A Soskova, S Vatev
Journal of Logic and Computation 28 (7), pp. 1499-1522, 2018
62018
Cohesive Powers of Linear Orders
R Dimitrov, V Harizanov, A Morozov, P Shafer, A Soskova, S Vatev
Computability in Europe 2019, 2019
52019
Effective embeddings for pairs of structures
N Bazhenov, H Ganchev, S Vatev
Computability in Europe 2019, 2019
42019
Another jump inversion theorem for structures
S Vatev
Conference on Computability in Europe, pp. 414-423, 2013
42013
On cohesive powers of linear orders
R Dimitrov, V Harizanov, A Morozov, P Shafer, AA Soskova, SV Vatev
The Journal of Symbolic Logic 88 (3), 947-1004, 2023
32023
A Lopez-Escobar theorem for continuous domains
N Bazhenov, E Fokina, D Rossegger, A Soskova, S Vatev
The Journal of Symbolic Logic, 1-17, 2023
32023
Computable embeddings for pairs of linear orders
N Bazhenov, H Ganchev, S Vatev
Algebra and Logic 60 (3), 163 - 187, 2021
32021
Computable embedding of classes of algebraic structures with congruence relation
H Ganchev, I Kalimullin, S Vatev
Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki …, 2018
32018
On the notion of jump structure
S Vatev
Annual of Sofia University "St. Kliment Ohridski" 102, pp. 171-206, 2015
12015
Learning Families of Algebraic Structures from Text
N Bazhenov, E Fokina, D Rossegger, A Soskova, S Vatev
arXiv preprint arXiv:2402.05744, 2024
2024
A Note on Computable Embeddings for Ordinals and Their Reverses
N Bazhenov, S Vatev
Computability in Europe 2020, 2020
2020
Generalization of the notion of jump sequence of sets for sequences of structures
A Soskova, A Terziivanov, S Vatev
Proceedings of PLS10, pp. 25 - 29, 2015
2015
Lopez-Escobar theorem for continuous domains and Learning theory
A Soskova, N Bazhenov, E Fokina, D Rosseger, S Vatev
Cohesive powers of linear orders
P Shafer, RD Dimitrov, V Harizanov, A Morozov, A Soskova, S Vatev
2021 Joint Mathematics Meetings (JMM), 0
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–16