| Глава от книга |
|
|
Hristo Ganchev, Dimiter Skordev, Ivan Soskov: A Life in Computability, ISBN:978-3-319-43667-8; Online ISBN 978-3-319-43669-2 , Springer, Berlin, Ref, Рецензирано
|
2017
|
| Дисертация д-р |
|
|
Христо Александров Ганчев, Омега-номерационни степени, СУ "Св. Кл. Охридски", Ръководител:Иван Николаев Сосков
|
2009
|
| Книга |
|
|
Alexandra Soskova, Mariya Soskova, Hristo Ganchev, Stela Nikolova, Collected works of Ivan Soskov, ISBN:978-954-07-3758-4, St. Kliment Ohridski University Press, Sofia, Рецензирано
|
2014
|
| Научен проект |
|
1
|
Христо Ганчев, Модели на изчислимост, Ръководител, ФНИ, МОН, Номер на договора:ДН02-16/19.12.2016 г.
|
2016
|
|
2
|
Христо Ганчев, Определимост в алгебрични структури и степенни структури, Член, ФНИ на СУ "Св. Климент Охридски", Номер на договора:54/12.04.2016г.
|
2016
|
|
3
|
Христо Ганчев, Определимост в алгебрични структури и степенни структури, Член, ФНИ на СУ "Св. Климент Охридски", Номер на договора:81/03.04.2015г.
|
2015
|
|
4
|
Христо Ганчев, Определимост в алгебрични структури и степенни структури, Член, ФНИ на СУ "Св. Климент Охридски", Номер на договора:97/08.05.2014
|
2014
|
|
5
|
Христо Ганчев, Определимост в алгебрични структури и степенни структури, Член, ФНИ на СУ "Св. Климент Охридски", Номер на договора:44/15.04.2013
|
2013
|
|
6
|
Христо Ганчев, The Spectrum of Relative Definability, Ръководител, ЕВРОПЕЙСКА КОМИСИЯ, FP7-PEOPLE, Номер на договора:PIOF-GA-2011-298471
|
2012
|
|
7
|
Христо Ганчев, Определимост в алгебрични структури и степенни структури, Член, ФНИ на СУ "Св. Климент Охридски", Номер на договора:131/09.05.2012
|
2012
|
|
8
|
Христо Ганчев, CULTURA - CULTivating Understanding and Research through Adaptivity, Член, ЕВРОПЕЙСКА КОМИСИЯ, FP7-ICT
|
2011
|
|
9
|
Христо Ганчев, Определимост в степенни структури, Ръководител, ФНИ, МОМН, Номер на договора:ДМУ03-7/12.12.2011
|
2011
|
|
10
|
Христо Ганчев, Фундаментални и приложни ядрени изследвания, Член, Оперативна програма "Развитие на човешките ресурси", Номер на договора:BG051PO001/ 07/3.3-02
|
2009
|
|
11
|
Христо Ганчев, Изчислимост с непълна информация, Член, ФНИ, МОМН, Номер на договора:Д002-258/18.12.2008
|
2008
|
| Научно ръководство |
|
|
Христо Ганчев, Определимост в степенни структури, СУ "Св. Кл. Охридски" дисертация д-р:Андрей Сариев
|
2015
|
| Статия в научно списание |
|
1
|
Ganchev, Hristo A., Kalimullin, Iskander Sh, Miller, Joseph S., Soskova, Mariya, I, A STRUCTURAL DICHOTOMY IN THE ENUMERATION DEGREES, JOURNAL OF SYMBOLIC LOGIC, vol:87, issue:2, 2022, pages:527-544, ISSN (print):0022-4812, ISSN (online):1943-5886, doi:10.1017/jsl.2019.72
|
2022
|
|
2
|
Nikolay Bazhenov, Hristo Ganchev, Stefan Vatev, Computable embeddings for pairs of linear orders, Algebra and Logic, vol:60, issue:3, 2021, pages:163-187, ISSN (print):0002-5232, doi:10.33048/alglog.2021.60.301, Ref, Web of Science, IF (0.685 - 2021), Web of Science Quartile: Q3 (11/21 Logic), SCOPUS, SJR (0.745 - 2021), International
|
2021
|
|
3
|
Ganchev, Hristo, Sariev, Andrey C., The automorphism group and definability of the jump operator in the omega-enumeration degrees, ARCHIVE FOR MATHEMATICAL LOGIC, vol:60, issue:7-8, 2021, pages:909-925, ISSN (print):0933-5846, ISSN (online):1432-0665, doi:10.1007/s00153-021-00766-7
|
2021
|
|
4
|
Hristo Ganchev, Andrey Sariev, The automorphism group and definability of the jump operator in the ω-enumeration degrees, Archive for Mathematical Logic, 2021, ISSN (print):1432-0665, ISSN (online):0933-5846, doi:http://doi.org.https.jxnydx.proxy.chaoxing.com/10.1007/s00153-021-00766-7, Ref, Web of Science, IF (0.485 - 2019), Web of Science Quartile: Q4 (16/21 Logic), SCOPUS, SJR (0.618 - 2020), SCOPUS Quartile: Q1 (Philosophy)
|
2021
|
|
5
|
Hristo Ganchev, Iskander Kalimullin, Joseph S. Miller, Mariya I. Soskova, A structural dichotomy in the enumeration degrees , Journal of Symbolic Logic, 2019, ISSN (print):0022-4812, ISSN (online):1943-5886, Ref, Web of Science, IF (0.572 - 2018), Web of Science Quartile: Q3 (Logic 12/20 WOS), SCOPUS, SJR (0.904 - 2018), SCOPUS Quartile: Q1 (Logic/Scopus), International
|
2019
|
|
6
|
Ganchev, Hristo, Sariev, Andrey C., Definability in the local structure of the omega-Turing degrees, MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol:29, issue:7, 2019, pages:927-937, ISSN (print):0960-1295, ISSN (online):1469-8072, doi:10.1017/S0960129519000021
|
2019
|
|
7
|
Andrey Sariev, Hristo Ganchev, Definability in the local structure of the ω-Turing degrees, Mathematical Structures in Computer Science, vol:29, issue:7, 2019, pages:927-937, ISSN (print):0960-1295, ISSN (online):1469-8072, doi:https://doi.org/10.1017/S0960129519000021, Ref, Web of Science, IF (0.647 - 2019), Web of Science Quartile: Q4 (96/108 Computer Science, Theory & Methods), SCOPUS, SJR (0.541 - 2019), SCOPUS Quartile: Q2 (Mathematics)
|
2019
|
|
8
|
Uri Andrews, Hristo A. Ganchev, Rutger Kuyper, Steffen Lempp, Joseph S. Miller, Alexandra Soskova, Mariya I. Soskova, On cototality and the skip operator in the enumeration degrees, Transactions of the American Mathematical Society, vol:372, issue:3, 2019, pages:1631-1670, ISSN (print):1088-6850, ISSN (online):0002-9947, doi:https://doi.org/10.1090/tran/7604 , Ref, Web of Science, IF (1.363 - 2019), Web of Science Quartile: Q1 (60/365 Mathematics 2019), SCOPUS, SJR (2.022 - 2019), SCOPUS Quartile: Q1 (Mathematics 2019), International
|
2019
|
|
9
|
Hristo Ganchev, Iskander Kalimullin, Stefan Vatev, Computable embedding of classes of algebraic structures with congruence relation, Uchenye Zapiski Kazanskogo Universiteta, vol:160, issue:4, 2018, pages:731-737, ISSN (print):2541-7746, ISSN (online):2500-2198, Ref, MathSciNet, International
|
2018
|
|
10
|
Andrey Sariev, Hristo Ganchev, Definability issues in the ω-Turing degrees, ANNUAL OF SOFIA UNIVERSITY ST. KLIMENT OHRIDSKI FACULTY OF MATHEMATICS AND INFORMATICS, vol:105, 2018, pages:45-54, ISSN (print):1313-9215, ISSN (online):2603-5529, Ref
|
2018
|
|
11
|
Hristo Ganchev, Mariya I. Soskova, The jump hierarchy in the enumeration degrees, Computability, vol:7, issue:2-3, 2018, pages:179-188, ISSN (print):2211-3568, ISSN (online): 2211-3576, doi:10.3233/COM-170072, Ref, SCOPUS, SJR (0.458 - 2018), SCOPUS Quartile: Q2 (Comp. Th and Math)
|
2018
|
|
12
|
Liliana Badillo, Caterina Bianchini, Hristo Ganchev, Thomas F. Kent, Andrea Sorbi, A note on the enumeration degrees of 1-generic sets, Archive for Mathematical Logic, vol:55, issue:3, 2016, pages:405-414, ISSN (print):0933-5846, doi:10.1007/s00153-015-0471-6, Ref, Web of Science, IF (0.394 - 2016), Web of Science Quartile: Q4 (260/311 Mathematics), SCOPUS, SJR (0.605 - 2016), SCOPUS Quartile: Q2 (Logic), International
|
2016
|
|
13
|
M. Cai, H. A. Ganchev, S. Lempp, J. S. Miller, M. I. Soskova, Defining totality in the enumeration degrees, Journal of the American Mathematical Society, vol:29, issue:4, 2016, pages:1051-1067, ISSN (print):0894-0347, ISSN (online):1088-6834, doi:http://dx.doi.org/10.1090/jams/848#sthash.V06vmkKh.dpuf, Ref, Web of Science, IF (4.692 - 2016), Web of Science Quartile: Q1 (2/311 Math WOS), SCOPUS, SJR (10.724 - 2016), SCOPUS Quartile: Q1 (Math/Scopus 2016), International
|
2016
|
|
14
|
Hristo Ganchev, Andrea Sorbi, Initial segments of Sigma-2 enumeration degrees, Journal of Symbolic Logic , vol:81, issue:1, 2016, pages:316-325, ISSN (print):0022-4812, Ref, Web of Science, IF (0.511 - 2016), Web of Science Quartile: Q3 (206/311 Mathematics), SCOPUS, SJR (0.94 - 2016), SCOPUS Quartile: Q1 (Logic), International
|
2016
|
|
15
|
Ganchev, Hristo, Sorbi, Andrea, INITIAL SEGMENTS OF THE Sigma(0)(2) ENUMERATION DEGREES, JOURNAL OF SYMBOLIC LOGIC, vol:81, issue:1, 2016, pages:316-325, ISSN (print):0022-4812, ISSN (online):1943-5886, doi:10.1017/jsl.2014.84
|
2016
|
|
16
|
Hristo Ganchev, Andrey Sariev, DEFINABILITY OF JUMP CLASSES IN THE LOCAL THEORY OF THE ω-ENUMERATION DEGREES, Ann. Univ. Sofia University, vol:102, 2015, pages:207-224, ISSN (print):0205-0808, Ref, PhD
|
2015
|
|
17
|
Hristo A. Ganchev, Mariya I. Soskova, Definability via Kalimullin pairs in the structure of the enumeration degrees, Transactions of the American Mathematical Society, vol:367, issue:7, 2015, pages:4873-4893, ISSN (print):0002-9947, ISSN (online):088-6850, doi:https://doi.org/10.1090/S0002-9947-2014-06157-6 , Ref, Web of Science, IF (1.196 - 2015), Web of Science Quartile: Q1 (34/312 Math WOS), SCOPUS, SJR (2.172 - 2015), SCOPUS Quartile: Q1 (Math/ Scopus)
|
2015
|
|
18
|
Hristo Ganchev, Andrey Sariev, The ω-Turing degrees, Annals of Pure and Applied Logic, vol:165, issue:9, 2014, pages:1512-1532, ISSN (print):0168-0072, doi:10.1016/j.apal.2014.04.017, Ref, Web of Science, IF (0.548 - 2014), Web of Science Quartile: Q2 (9/21 Logic), SCOPUS, SJR (0.924 - 2014), SCOPUS Quartile: Q1 (Logic), PhD
|
2014
|
|
19
|
Hristo Ganchev, Mariya Soskova, Cupping and definability in
the local structure of the enumeration degrees, Journal of Symbolic Logic, vol:77, issue:1, 2012, pages:133-158, ISSN (print):0022-4812, doi:https://doi.org/10.2178/jsl/1327068696, Ref, Web of Science, IF (0.535 - 2012), Web of Science Quartile: Q2 (6/20 Logic WOS), SCOPUS, SJR (0.93 - 2012), SCOPUS Quartile: Q1 (Logic/Scopus)
|
2012
|
|
20
|
Ganchev, Hristo, Soskova, Mariya, Embedding distributive lattices in the Sigma(2)(0) enumeration degrees, JOURNAL OF LOGIC AND COMPUTATION, vol:22, issue:4, 2012, pages:779-792, ISSN (print):0955-792X, ISSN (online):1465-363X, doi:10.1093/logcom/exq042
|
2012
|
|
21
|
Hristo Ganchev, Mariya Soskova, Embedding Distributive
Lattices in the Sigma-0-2 Enumeration Degrees, Journal of Logic and Computation, vol:22, issue:4, 2012, pages:779-792, ISSN (print):0955-792X, ISSN (online):1465-363X, doi:doi:10.1093/logcom/exq042, Ref, Web of Science, IF (0.647 - 2012), Web of Science Quartile: Q1 (5/20 Logic WOS), SCOPUS, SJR (0.844 - 2012), SCOPUS Quartile: Q1 (Arts&Hum/Scopus)
|
2012
|
|
22
|
Hristo Ganchev, Mariya Soskova, Interpreting true arithmetic in
the local structure of the enumeration degrees, Journal of Symbolic Logic, vol:77, issue:4, 2012, pages:1184-1194, ISSN (print):0022-4812, ISSN (online):1943-5886 , doi:https://doi.org/10.2178/jsl.7704070, Ref, Web of Science, IF (0.535 - 2012), Web of Science Quartile: Q2 (6/20 Logic WOS), SCOPUS, SJR (0.93 - 2012), SCOPUS Quartile: Q1 (Logic/Scopus)
|
2012
|
|
23
|
Hristo Ganchev, Mariya Soskova, The High/Low Hierarchy in the
Local Structure of the omega-Enumeration Degrees, Annals of Pure and Applied Logic, vol:163, issue:5, 2012, pages:547-566, ISSN (print):0168-0072, doi:https://doi.org/10.1016/j.apal.2010.10.004, Ref, Web of Science, IF (0.504 - 2012), Web of Science Quartile: Q2 (8/20 Logic/WOS), SCOPUS, SJR (0.864 - 2012), SCOPUS Quartile: Q2 (Logic/Scopus)
|
2012
|
|
24
|
Hristo Ganchev, Ivan N. Soskov, The jump operation on the omega-enumeration degrees, Annals of Pure and Applied Logic, vol:160, issue:3, 2009, pages:289-301, ISSN (print):0168-0072, Ref, Web of Science, IF (0.667 - 2009), Web of Science Quartile: Q2 (113/255 Mathematics), SCOPUS, SJR (0.541 - 2009), SCOPUS Quartile: Q2 (Logic), PhD
|
2009
|
|
25
|
Ganchev, Hristo, Soskov, Ivan N., The jump operator on the omega-enumeration degrees, ANNALS OF PURE AND APPLIED LOGIC, vol:160, issue:3, 2009, pages:289-301, ISSN (print):0168-0072, ISSN (online):1873-2461, doi:10.1016/j.apal.2009.01.003
|
2009
|
|
26
|
Hristo Ganchev, A jump inversion theorem for the infinite enumeration jump, Ann. Univ. Sofia University, vol:98, 2008, pages:61-85, ISSN (print):1313-9215, Ref
|
2008
|
| Статия в поредица |
|
|
Hristo Ganchev, Stoyan Mihov, Klaus Shulz, One-Letter Automata: How to Reduce
k Tapes to One, Trends in Linguistics, vol:Logics for Linguistic Structures, editor/s:Firtz Hamm, Stephan Kepser, Publisher:Mouton de Gruyter, 2008, pages:35-56
|
2008
|
| Статия в сборник (на конференция и др.) |
|
1
|
Nikolay Bazhenov, Hristo Ganchev, Stefan Vatev, Effective embeddings for pairs of structures, Computing with Foresight and Industry, CiE 2019, Lecture Notes in Computer Science vol. 11558, editor/s:F. Manea, B. Martin, D. Paulusma, G. Primiero, Publisher:Springer-Verlag, 2019, pages:84-95, ISSN (print):0302-9743, ISSN (online):978-3-030-22996-2, ISBN:978-3-030-22995-5, doi:10.1007/978-3-030-22996-2_8, Ref, IR , SCOPUS, SJR (0.283 - 2018), SCOPUS Quartile: Q2 (Computer Science), International
|
2019
|
|
2
|
Andrey C. Sariev, Hristo Ganchev, Definability of the jump operator in the ω-enumeration degrees, Proceedings of the 11th Panhellenic Logic Symposium, editor/s:A. Soskova, A. Kakas, N. Papaspyrou, 2017, pages:61-64
|
2017
|
|
3
|
Andrey Sariev, Vladislav Nenchev, Stefan Gerdjikov, Petar Mitankin, Hristo Ganchev, Stoyan Mihov, Tinko Tinchev, Flexible noisy text correction, 11th IAPR International Workshop On Document Analisys Systems, 2014, pages:31-35, ISBN:978-1-4799-3243-6, doi:10.1109/DAS.2014.12, Ref, SCOPUS, SJR (0.367 - 2015)
|
2014
|
|
4
|
Hristo Ganchev, Definability in the local structure of the omega-enumeration degrees, LNCS, 5635, Publisher:Springer-Verlag, 2009, pages:242-249, ISSN (print):0302-9743, Ref, SCOPUS, SJR (0.302 - 2009), SCOPUS Quartile: Q2 (Computer science)
|
2009
|
|
5
|
Hristo Ganchev, Exact Pair Theorem for the omega-Enumeration Degrees, LNCS, 4497, 2007, pages:316-324, ISSN (print):0302-9743, Ref, IR , SCOPUS, SJR (0.293 - 2007), SCOPUS Quartile: Q2 (Computer Science)
|
2007
|
|
6
|
Hristo Ganchev, I. N. Soskov, The groups Aut(D_e) and Aut(D_ω) are isomorphic, 6th Pan-Hellenic Logic Symposium, Publisher:Volos, , 2007, Ref, PhD, MSc
|
2007
|
|
7
|
Hristo Ganchev, A total degree splitting theorem and a jump inversion, splitting theorem., Proceedings of the %th Panhellenic Logic Symposium, 2005, pages:78-81
|
2005
|
| Студия в научно списание |
|
|
Sariev, Andrey C., Ganchev, Hristo, The w-Turing degrees, ANNALS OF PURE AND APPLIED LOGIC, vol:165, issue:9, 2014, pages:1512-1532, ISSN (print):0168-0072, ISSN (online):1873-2461, doi:10.1016/j.apal.2014.04.017
|
2014
|
| Участие в конференция |
|
1
|
Секционен доклад, Христо Ганчев, The enumeration degrees of semi-recursive sets
|
2012
|
|
2
|
Секционен доклад, Христо Ганчев, Definability in the local theory of the enumeration degrees
|
2011
|
|
3
|
Секционен доклад, Христо Ганчев, K-pairs and the theory of the
Sigma-2 enumeration degrees.
|
2010
|
|
4
|
Секционен доклад, Христо Ганчев, Definability in the Local Theory of the omega-Enumeration Degrees
|
2009
|
|
5
|
Секционен доклад, Христо Ганчев, Coding with K-pairs
|
2009
|
|
6
|
Секционен доклад, Христо Ганчев, Embedding the enumeration degrees in the omega-enumeration degrees
|
2008
|
|
7
|
Секционен доклад, Христо Ганчев, Exact Pair Theorem for the omega-Enumeration Degrees
|
2007
|
|
8
|
Секционен доклад, Христо Ганчев, The groups Aut(D-e) and Aut(D-omega) are isomorphic
|
2007
|
|
9
|
Секционен доклад, Христо Ганчев, A Total Degree Splitting Theorem
|
2005
|
|