On cototality and the skip operator in the enumeration degrees U Andrews, H Ganchev, R Kuyper, S Lempp, J Miller, A Soskova, ... Transactions of the American Mathematical Society 372 (3), 1631-1670, 2019 | 27 | 2019 |
Defining totality in the enumeration degrees M Cai, H Ganchev, S Lempp, J Miller, M Soskova Journal of the American Mathematical Society 29 (4), 1051-1067, 2016 | 26 | 2016 |
Definability via Kalimullin pairs in the structure of the enumeration degrees H Ganchev, M Soskova Transactions of the American Mathematical Society 367 (7), 4873-4893, 2015 | 26 | 2015 |
The jump operator on the ω-enumeration degrees IN Soskov, H Ganchev Ann. Pure Appl. Logic 160 (3), 289-301, 2009 | 17 | 2009 |
Interpreting true arithmetic in the local structure of the enumeration degrees H Ganchev, M Soskova The Journal of Symbolic Logic 77 (4), 1184-1194, 2012 | 15 | 2012 |
The high/low hierarchy in the local structure of the ω-enumeration degrees H Ganchev, M Soskova Annals of Pure and Applied Logic 163 (5), 547-566, 2012 | 14 | 2012 |
Cupping and definability in the local structure of the enumeration degrees H Ganchev, MI Soskova The Journal of Symbolic Logic 77 (1), 133-158, 2012 | 14 | 2012 |
Exact Pair Theorem for the ω-Enumeration Degrees H Ganchev Computation and Logic in the Real World: Third Conference on Computability …, 2007 | 10 | 2007 |
Initial segments of the enumeration degrees H Ganchev, A Sorbi The Journal of Symbolic Logic 81 (1), 316-325, 2016 | 8 | 2016 |
Embedding distributive lattices in the Σ02 enumeration degrees H Ganchev, M Soskova Journal of Logic and Computation 22 (4), 779-792, 2010 | 6 | 2010 |
A structural dichotomy in the enumeration degrees HA Ganchev, IS Kalimullin, JS Miller, MI Soskova The Journal of Symbolic Logic 87 (2), 527-544, 2022 | 5 | 2022 |
The jump hierarchy in the enumeration degrees HA Ganchev, MI Soskova Computability 7 (2-3), 179-188, 2018 | 5 | 2018 |
DEFINABILITY OF JUMP CLASSES IN THE LOCAL THEORY OF THE -ENUMERATION DEGREES H Ganchev, AC Sariev Annual of Sofia University “St. Kliment Ohridski”. Faculty of Mathematics …, 2015 | 5 | 2015 |
The ω-Turing degrees AC Sariev, H Ganchev Annals of Pure and Applied Logic 165 (9), 1512-1532, 2014 | 5 | 2014 |
Flexible noisy text correction A Sariev, V Nenchev, S Gerdjikov, P Mitankin, H Ganchev, S Mihov, ... 2014 11th IAPR International Workshop on Document Analysis Systems, 31-35, 2014 | 5 | 2014 |
Effective embeddings for pairs of structures N Bazhenov, H Ganchev, S Vatev Computing with Foresight and Industry: 15th Conference on Computability in …, 2019 | 4 | 2019 |
The jump operator on the ω-enumeration degrees H Ganchev, IN Soskov Annals of pure and applied logic 160 (3), 289-301, 2009 | 4 | 2009 |
One-letter automata: How to reduce k tapes to one H Ganchev, S Mihov, KU Schulz Logics for Linguistic Structures, 35-56, 2008 | 4* | 2008 |
The groups Aut (Dω) and Aut (De) are isomorphic H Ganchev, IN Soskov 6th Panhellenic Logic Symposium, Volos, Greece, 53-57, 2007 | 4 | 2007 |
Computable embeddings for pairs of linear orders N Bazhenov, H Ganchev, S Vatev arXiv preprint arXiv:1901.01933, 2019 | 3 | 2019 |