Hristo Ganchev

15 papers B 1C 3Journal 10
YearRankTypeTitle / Venue / Authors
2021 J jnl
The automorphism group and definability of the jump operator in the ømega-enumeration degrees.
Arch. Math. Log.
Hristo Ganchev, Andrey Sariev
2019 J jnl
Definability in the local structure of the ω-Turing degrees.
Math. Struct. Comput. Sci.
Hristo Ganchev, Andrey Sariev
2019 C conf
Effective Embeddings for Pairs of Structures.
CiE
Nikolay Bazhenov, Hristo Ganchev, Stefan V. Vatev
2017 — ch.
Ivan Soskov: A Life in Computability.
The Incomputable
Hristo Ganchev, Dimiter Skordev
2016 J jnl
A note on the enumeration degrees of 1-generic sets.
Arch. Math. Log.
Liliana Badillo, Caterina Bianchini, Hristo Ganchev, Thomas F. Kent, Andrea Sorbi
2016 J jnl
Initial Segments Of The Σ
J. Symb. Log.
Hristo Ganchev, Andrea Sorbi
2014 B conf
Flexible Noisy Text Correction.
Document Analysis Systems
Andrey Sariev, Vladislav Nenchev, Stefan Gerdjikov, Petar Mitankin, Hristo Ganchev, Stoyan Mihov, Tinko Tinchev
2014 J jnl
The ω-Turing degrees.
Ann. Pure Appl. Log.
Andrey Sariev, Hristo Ganchev
2012 J jnl
Cupping and definability in the local structure of the enumeration degrees.
J. Symb. Log.
Hristo Ganchev, Mariya Ivanova Soskova
2012 J jnl
Embedding distributive lattices in the Σ
J. Log. Comput.
Hristo Ganchev, Mariya Ivanova Soskova
2012 J jnl
Interpreting true arithmetic in the local structure of the enumeration degrees.
J. Symb. Log.
Hristo Ganchev, Mariya Ivanova Soskova
2012 J jnl
The high/low hierarchy in the local structure of the omega-enumeration degrees.
Ann. Pure Appl. Log.
Hristo Ganchev, Mariya Ivanova Soskova
2009 C conf
Definability in the Local Theory of the
CiE
Hristo Ganchev
2009 J jnl
The jump operator on the omega-enumeration degrees.
Ann. Pure Appl. Log.
Hristo Ganchev, Ivan N. Soskov
2007 C conf
Exact Pair Theorem for the
CiE
Hristo Ganchev