Hristo Ganchev

According to our database, Hristo Ganchev authored at least 17 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

A Structural Dichotomy in the Enumeration Degrees.

Hristo Aleksndrov Ganchev, Iskander Sh. Kalimullin, Joseph S. Miller, Mariya Ivanova Soskova

J. Symb. Log., 2022

2021

The automorphism group and definability of the jump operator in the ømega-enumeration degrees.

Hristo Ganchev, Andrey Sariev

Arch. Math. Log., 2021

2019

Definability in the local structure of the ω-Turing degrees.

Hristo Ganchev, Andrey Sariev

Math. Struct. Comput. Sci., 2019

Effective Embeddings for Pairs of Structures.

Nikolay Bazhenov, Hristo Ganchev, Stefan V. Vatev

Proceedings of the Computing with Foresight and Industry, 2019

2018

The jump hierarchy in the enumeration degrees.

Hristo Aleksndrov Ganchev, Mariya Ivanova Soskova

Comput., 2018

2017

Ivan Soskov: A Life in Computability.

Hristo Ganchev, Dimiter Skordev

Proceedings of the Incomputable: Journeys Beyond the Turing Barrier, 2017

2016

Initial Segments Of The Σ₂⁰ Enumeration Degrees.

Hristo Ganchev, Andrea Sorbi

J. Symb. Log., 2016

A note on the enumeration degrees of 1-generic sets.

Liliana Badillo, Caterina Bianchini, Hristo Ganchev, Thomas F. Kent, Andrea Sorbi

Arch. Math. Log., 2016

2014

The ω-Turing degrees.

Andrey Sariev, Hristo Ganchev

Ann. Pure Appl. Log., 2014

Flexible Noisy Text Correction.

Andrey Sariev, Vladislav Nenchev, Stefan Gerdjikov, Petar Mitankin, Hristo Ganchev, Stoyan Mihov, Tinko Tinchev

Proceedings of the 11th IAPR International Workshop on Document Analysis Systems, 2014

2012

Embedding distributive lattices in the Σ⁰₂ enumeration degrees.

Hristo Ganchev, Mariya Ivanova Soskova

J. Log. Comput., 2012

Interpreting true arithmetic in the local structure of the enumeration degrees.

Hristo Ganchev, Mariya Ivanova Soskova

J. Symb. Log., 2012

Cupping and definability in the local structure of the enumeration degrees.

Hristo Ganchev, Mariya Ivanova Soskova

J. Symb. Log., 2012

The high/low hierarchy in the local structure of the omega-enumeration degrees.

Hristo Ganchev, Mariya Ivanova Soskova

Ann. Pure Appl. Log., 2012

2009

The jump operator on the omega-enumeration degrees.

Hristo Ganchev, Ivan N. Soskov

Ann. Pure Appl. Log., 2009

Definability in the Local Theory of the <i>omega</i>-Enumeration Degrees.

Hristo Ganchev

Proceedings of the Mathematical Theory and Computational Practice, 2009

2007

Exact Pair Theorem for the <i>omega</i> -Enumeration Degrees.

Hristo Ganchev

Proceedings of the Computation and Logic in the Real World, 2007