Hristo Ganchev

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 5

Top Topics

Structural Properties

Propositional Logic

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Math. Struct. Comput. Sci.

Publications

Hristo Ganchev, Andrey Sariev
The automorphism group and definability of the jump operator in the ømega-enumeration degrees. Arch. Math. Log. 60 (7) (2021)
Nikolay Bazhenov, Hristo Ganchev, Stefan V. Vatev
Effective Embeddings for Pairs of Structures. CiE (2019)
Hristo Ganchev, Andrey Sariev
Definability in the local structure of the ω-Turing degrees. Math. Struct. Comput. Sci. 29 (7) (2019)
Hristo Ganchev, Andrea Sorbi
Enumeration Degrees. J. Symb. Log. 81 (1) (2016)
Liliana Badillo, Caterina Bianchini, Hristo Ganchev, Thomas F. Kent, Andrea Sorbi
A note on the enumeration degrees of 1-generic sets. Arch. Math. Log. 55 (3-4) (2016)
Andrey Sariev, Vladislav Nenchev, Stefan Gerdjikov, Petar Mitankin, Hristo Ganchev, Stoyan Mihov, Tinko Tinchev
Flexible Noisy Text Correction. Document Analysis Systems (2014)
Andrey Sariev, Hristo Ganchev
The ω-Turing degrees. Ann. Pure Appl. Log. 165 (9) (2014)
Hristo Ganchev, Mariya Ivanova Soskova
The high/low hierarchy in the local structure of the omega-enumeration degrees. Ann. Pure Appl. Log. 163 (5) (2012)
Hristo Ganchev, Mariya Ivanova Soskova
Interpreting true arithmetic in the local structure of the enumeration degrees. J. Symb. Log. 77 (4) (2012)
Hristo Ganchev, Mariya Ivanova Soskova
Cupping and definability in the local structure of the enumeration degrees. J. Symb. Log. 77 (1) (2012)
Hristo Ganchev, Mariya Ivanova Soskova
enumeration degrees. J. Log. Comput. 22 (4) (2012)
Hristo Ganchev, Ivan N. Soskov
The jump operator on the omega-enumeration degrees. Ann. Pure Appl. Log. 160 (3) (2009)
Hristo Ganchev
-Enumeration Degrees. CiE (2009)
Hristo Ganchev
-Enumeration Degrees. CiE (2007)