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 Σ0 2 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 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 