Hristo Ganchev

Definability via Kalimullin pairs in the structure of the enumeration degrees

Hristo Ganchev, Mariya I. Soskova · Transactions of the American Mathematical Society · 2014 · 20 citations · Full text

Natural Sciences, Computer Science, Mathematics +7

Defining totality in the enumeration degrees

Mingzhong Cai, Hristo Ganchev, Steffen Lempp et al. · Journal of the American Mathematical Society · 2015 · 19 citations

Natural Sciences, Computer Science, Mathematics +7

Interpreting true arithmetic in the local structure of the enumeration degrees

Hristo Ganchev, Mariya I. Soskova · Journal of Symbolic Logic · 2012 · 12 citations

Natural Sciences, Computer Science, Mathematics +5

The jump operator on the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>ω</mml:mi></mml:math>-enumeration degrees

Hristo Ganchev, Ivan N. Soskov · Annals of Pure and Applied Logic · 2009 · 11 citations

Natural Sciences, Mathematics, Physics +4

Cupping and definability in the local structure of the enumeration degrees

Hristo Ganchev, Mariya I. Soskova · Journal of Symbolic Logic · 2012 · 11 citations

Natural Sciences, Computer Science, Mathematics +11