Ganchev, Hristo; Sariev, Andrey C. The automorphism group and definability of the jump operator in the \(\omega\)-enumeration degrees. (English) Zbl 07417491 Arch. Math. Logic 60, No. 7-8, 909-925 (2021). MSC: 03D28 03D30 PDFBibTeX XMLCite \textit{H. Ganchev} and \textit{A. C. Sariev}, Arch. Math. Logic 60, No. 7--8, 909--925 (2021; Zbl 07417491) Full Text: DOI
Ganchev, Hristo; Sariev, Andrey C. Definability in the local structure of the \(\omega\)-Turing degrees. (English) Zbl 1446.03074 Math. Struct. Comput. Sci. 29, No. 7, 927-937 (2019). Reviewer: Patrizio Cintioli (Camerino) MSC: 03D30 PDFBibTeX XMLCite \textit{H. Ganchev} and \textit{A. C. Sariev}, Math. Struct. Comput. Sci. 29, No. 7, 927--937 (2019; Zbl 1446.03074) Full Text: DOI
Sariev, Andrey C.; Ganchev, Hristo Definability issues in the \(\omega \)-Turing degrees. (English) Zbl 1474.03096 God. Sofiĭ. Univ., Fak. Mat. Inform. 105, 45-54 (2018). MSC: 03D28 03D30 PDFBibTeX XMLCite \textit{A. C. Sariev} and \textit{H. Ganchev}, God. Sofiĭ. Univ., Fak. Mat. Inform. 105, 45--54 (2018; Zbl 1474.03096) Full Text: Link
Ganchev, Hristo; Sorbi, Andrea Initial segments of the \({\Sigma}_2^0\) enumeration degrees. (English) Zbl 1348.03038 J. Symb. Log. 81, No. 1, 316-325 (2016). Reviewer: Patrizio Cintioli (Camerino) MSC: 03D30 PDFBibTeX XMLCite \textit{H. Ganchev} and \textit{A. Sorbi}, J. Symb. Log. 81, No. 1, 316--325 (2016; Zbl 1348.03038) Full Text: DOI
Ganchev, Hristo; Sariev, Andrey Definability of jump classes in the local theory of the \(\omega\)-enumeration degrees. (English) Zbl 1474.03099 God. Sofiĭ. Univ., Fak. Mat. Inform. 102, 207-224 (2015). MSC: 03D30 03D28 PDFBibTeX XMLCite \textit{H. Ganchev} and \textit{A. Sariev}, God. Sofiĭ. Univ., Fak. Mat. Inform. 102, 207--224 (2015; Zbl 1474.03099) Full Text: Link
Sariev, Andrey C.; Ganchev, Hristo The \(\omega\)-Turing degrees. (English) Zbl 1351.03029 Ann. Pure Appl. Logic 165, No. 9, 1512-1532 (2014). MSC: 03D28 03D30 03D55 PDFBibTeX XMLCite \textit{A. C. Sariev} and \textit{H. Ganchev}, Ann. Pure Appl. Logic 165, No. 9, 1512--1532 (2014; Zbl 1351.03029) Full Text: DOI
Ganchev, Hristo; Soskova, Mariya Interpreting true arithmetic in the local structure of the enumeration degrees. (English) Zbl 1257.03066 J. Symb. Log. 77, No. 4, 1184-1194 (2012). Reviewer: Roman Murawski (Poznań) MSC: 03D30 03F30 PDFBibTeX XMLCite \textit{H. Ganchev} and \textit{M. Soskova}, J. Symb. Log. 77, No. 4, 1184--1194 (2012; Zbl 1257.03066) Full Text: DOI Euclid
Ganchev, Hristo; Soskova, Mariya The high/low hierarchy in the local structure of the \(\omega\)-enumeration degrees. (English) Zbl 1243.03058 Ann. Pure Appl. Logic 163, No. 5, 547-566 (2012). Reviewer: Roman Murawski (Poznań) MSC: 03D30 03F30 PDFBibTeX XMLCite \textit{H. Ganchev} and \textit{M. Soskova}, Ann. Pure Appl. Logic 163, No. 5, 547--566 (2012; Zbl 1243.03058) Full Text: DOI
Ganchev, Hristo Definability in the local theory of the \(\omega \)-enumeration degrees. (English) Zbl 1233.03048 Ambos-Spies, Klaus (ed.) et al., Mathematical theory and computational practice. 5th conference on computability in Europe, CiE 2009, Heidelberg, Germany, July 19–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03072-7/pbk). Lecture Notes in Computer Science 5635, 242-249 (2009). MSC: 03D30 03F30 PDFBibTeX XMLCite \textit{H. Ganchev}, Lect. Notes Comput. Sci. 5635, 242--249 (2009; Zbl 1233.03048) Full Text: DOI
Ganchev, Hristo; Soskov, Ivan N. The jump operator on the \(\omega \)-enumeration degrees. (English) Zbl 1183.03031 Ann. Pure Appl. Logic 160, No. 3, 289-301 (2009). Reviewer: Roland Sh. Omanadze (Tbilisi) MSC: 03D30 03D25 PDFBibTeX XMLCite \textit{H. Ganchev} and \textit{I. N. Soskov}, Ann. Pure Appl. Logic 160, No. 3, 289--301 (2009; Zbl 1183.03031) Full Text: DOI