Delle Rose, Valentino; San Mauro, Luca; Sorbi, Andrea Classifying word problems of finitely generated algebras via computable reducibility. (English) Zbl 07713611 Int. J. Algebra Comput. 33, No. 4, 751-768 (2023). MSC: 03D40 03D25 PDFBibTeX XMLCite \textit{V. Delle Rose} et al., Int. J. Algebra Comput. 33, No. 4, 751--768 (2023; Zbl 07713611) Full Text: DOI arXiv
Bazhenov, Nikolay; Ng, Keng Meng; San Mauro, Luca; Sorbi, Andrea Primitive recursive equivalence relations and their primitive recursive complexity. (English) Zbl 07641231 Computability 11, No. 3-4, 187-221 (2022). MSC: 03Dxx PDFBibTeX XMLCite \textit{N. Bazhenov} et al., Computability 11, No. 3--4, 187--221 (2022; Zbl 07641231) Full Text: DOI arXiv
Andrews, Uri; Sorbi, Andrea Initial segments of the degrees of ceers. (English) Zbl 1507.03096 J. Symb. Log. 87, No. 3, 1260-1282 (2022). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03D30 PDFBibTeX XMLCite \textit{U. Andrews} and \textit{A. Sorbi}, J. Symb. Log. 87, No. 3, 1260--1282 (2022; Zbl 1507.03096) Full Text: DOI
Sorbi, Andrea Effective inseparability and its applications. (English) Zbl 07495188 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 417-423 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. Sorbi}, Lect. Notes Comput. Sci. 12813, 417--423 (2021; Zbl 07495188) Full Text: DOI
Andrews, Uri; Sorbi, Andrea Effective inseparability, lattices, and preordering relations. (English) Zbl 1517.03037 Rev. Symb. Log. 14, No. 4, 838-865 (2021). MSC: 03D45 03D30 PDFBibTeX XMLCite \textit{U. Andrews} and \textit{A. Sorbi}, Rev. Symb. Log. 14, No. 4, 838--865 (2021; Zbl 1517.03037) Full Text: DOI arXiv
Delle Rose, V.; Mauro, L. San; Sorbi, A. The category of equivalence relations. (English. Russian original) Zbl 1515.18004 Algebra Logic 60, No. 5, 295-307 (2021); translation from Algebra Logika 60, No. 4, 451-470 (2021). MSC: 18B10 03D25 03D45 PDFBibTeX XMLCite \textit{V. Delle Rose} et al., Algebra Logic 60, No. 5, 295--307 (2021; Zbl 1515.18004); translation from Algebra Logika 60, No. 4, 451--470 (2021) Full Text: DOI
Pianigiani, Duccio; Sorbi, Andrea A note on uniform density in weak arithmetical theories. (English) Zbl 1477.03170 Arch. Math. Logic 60, No. 1-2, 211-225 (2021). Reviewer: Leszek Aleksander Kołodziejczyk (Warszawa) MSC: 03D45 03F30 03F55 PDFBibTeX XMLCite \textit{D. Pianigiani} and \textit{A. Sorbi}, Arch. Math. Logic 60, No. 1--2, 211--225 (2021; Zbl 1477.03170) Full Text: DOI
Delle Rose, Valentino; San Mauro, Luca; Sorbi, Andrea Word problems and ceers. (English) Zbl 1521.03128 Math. Log. Q. 66, No. 3, 341-354 (2020). MSC: 03D45 03D30 03D50 20F10 20M35 PDFBibTeX XMLCite \textit{V. Delle Rose} et al., Math. Log. Q. 66, No. 3, 341--354 (2020; Zbl 1521.03128) Full Text: DOI arXiv
Bazhenov, Nikolay; Mustafa, Manat; San Mauro, Luca; Sorbi, Andrea; Yamaleev, Mars Classifying equivalence relations in the Ershov hierarchy. (English) Zbl 1461.03041 Arch. Math. Logic 59, No. 7-8, 835-864 (2020). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03D55 03D30 03D45 PDFBibTeX XMLCite \textit{N. Bazhenov} et al., Arch. Math. Logic 59, No. 7--8, 835--864 (2020; Zbl 1461.03041) Full Text: DOI arXiv
Chitaia, Irakli; Ng, Keng Meng; Sorbi, Andrea; Yang, Yue Incomparability in local structures of \(s\)-degrees and \(Q\)-degrees. (English) Zbl 1461.03033 Arch. Math. Logic 59, No. 7-8, 777-791 (2020). Reviewer: Patrizio Cintioli (Camerino) MSC: 03D30 03D25 PDFBibTeX XMLCite \textit{I. Chitaia} et al., Arch. Math. Logic 59, No. 7--8, 777--791 (2020; Zbl 1461.03033) Full Text: DOI
Andrews, Uri; Schweber, Noah; Sorbi, Andrea The theory of ceers computes true arithmetic. (English) Zbl 1442.03021 Ann. Pure Appl. Logic 171, No. 8, Article ID 102811, 22 p. (2020). Reviewer: Roman Murawski (Poznań) MSC: 03D25 03D30 03F30 PDFBibTeX XMLCite \textit{U. Andrews} et al., Ann. Pure Appl. Logic 171, No. 8, Article ID 102811, 22 p. (2020; Zbl 1442.03021) Full Text: DOI arXiv
Shafer, Paul; Sorbi, Andrea Comparing the degrees of enumerability and the closed Medvedev degrees. (English) Zbl 1445.03048 Arch. Math. Logic 58, No. 5-6, 527-542 (2019). Reviewer: Joseph S. Ullian (Santa Barbara) MSC: 03D30 03D25 PDFBibTeX XMLCite \textit{P. Shafer} and \textit{A. Sorbi}, Arch. Math. Logic 58, No. 5--6, 527--542 (2019; Zbl 1445.03048) Full Text: DOI arXiv
Andrews, Uri; Sorbi, Andrea Jumps of computably enumerable equivalence relations. (English) Zbl 1406.03055 Ann. Pure Appl. Logic 169, No. 3, 243-259 (2018). Reviewer: Joseph S. Ullian (Santa Barbara) MSC: 03D25 03D30 03D45 03F15 PDFBibTeX XMLCite \textit{U. Andrews} and \textit{A. Sorbi}, Ann. Pure Appl. Logic 169, No. 3, 243--259 (2018; Zbl 1406.03055) Full Text: DOI
Andrews, Uri; Badaev, Serikzhan; Sorbi, Andrea A survey on universal computably enumerable equivalence relations. (English) Zbl 1485.03146 Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10010, 418-451 (2017). MSC: 03D25 PDFBibTeX XMLCite \textit{U. Andrews} et al., Lect. Notes Comput. Sci. 10010, 418--451 (2017; Zbl 1485.03146) Full Text: DOI
Amidei, Jacopo; Pianigiani, Duccio; San Mauro, Luca; Sorbi, Andrea Trial and error mathematics. II: Dialectical sets and quasidialectical sets, their degrees, and their distribution within the class of limit sets. (English) Zbl 1392.03017 Rev. Symb. Log. 9, No. 4, 810-835 (2016). MSC: 03A10 03A05 03D55 03D80 PDFBibTeX XMLCite \textit{J. Amidei} et al., Rev. Symb. Log. 9, No. 4, 810--835 (2016; Zbl 1392.03017) Full Text: DOI
Lewis-Pye, Andrew; Sorbi, Andrea In memoriam: Barry Cooper, 1943–2015. (English) Zbl 1362.01019 Bull. Symb. Log. 22, No. 3, 361-365 (2016). MSC: 01A70 PDFBibTeX XMLCite \textit{A. Lewis-Pye} and \textit{A. Sorbi}, Bull. Symb. Log. 22, No. 3, 361--365 (2016; Zbl 1362.01019) Full Text: DOI
Amidei, Jacopo; Pianigiani, Duccio; San Mauro, Luca; Simi, Giulia; Sorbi, Andrea Trial and error mathematics. I: Dialectical and quasidialectical systems. (English) Zbl 1384.03079 Rev. Symb. Log. 9, No. 2, 299-324 (2016). MSC: 03A10 03A05 03D55 03D80 PDFBibTeX XMLCite \textit{J. Amidei} et al., Rev. Symb. Log. 9, No. 2, 299--324 (2016; Zbl 1384.03079) Full Text: DOI
Badillo, Liliana; Bianchini, Caterina; Ganchev, Hristo; Kent, Thomas F.; Sorbi, Andrea A note on the enumeration degrees of 1-generic sets. (English) Zbl 1388.03041 Arch. Math. Logic 55, No. 3-4, 405-414 (2016). Reviewer: Jeffry L. Hirst (Boone) MSC: 03D30 PDFBibTeX XMLCite \textit{L. Badillo} et al., Arch. Math. Logic 55, No. 3--4, 405--414 (2016; Zbl 1388.03041) Full Text: DOI
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
Badaev, Serikzhan; Sorbi, Andrea Weakly precomplete computably enumerable equivalence relations. (English) Zbl 1361.03043 Math. Log. Q. 62, No. 1-2, 111-127 (2016). Reviewer: Liang Yu (Nanjing) MSC: 03D45 03D30 03D15 PDFBibTeX XMLCite \textit{S. Badaev} and \textit{A. Sorbi}, Math. Log. Q. 62, No. 1--2, 111--127 (2016; Zbl 1361.03043) Full Text: DOI
Sorbi, Andrea; Terwijn, Sebastiaan A. Generalizations of the weak law of the excluded middle. (English) Zbl 1328.03028 Notre Dame J. Formal Logic 56, No. 2, 321-331 (2015). MSC: 03B55 03G10 03D30 PDFBibTeX XMLCite \textit{A. Sorbi} and \textit{S. A. Terwijn}, Notre Dame J. Formal Logic 56, No. 2, 321--331 (2015; Zbl 1328.03028) Full Text: DOI arXiv Euclid
Badaev, Serikzhan A.; Manat, Mustafa; Sorbi, Andrea Friedberg numberings in the Ershov hierarchy. (English) Zbl 1341.03055 Arch. Math. Logic 54, No. 1-2, 59-73 (2015). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D45 03D55 PDFBibTeX XMLCite \textit{S. A. Badaev} et al., Arch. Math. Logic 54, No. 1--2, 59--73 (2015; Zbl 1341.03055) Full Text: DOI Link
Manat, M.; Sorbi, A. Positive undecidable numberings in the Ershov hierarchy. (English. Russian original) Zbl 1287.03092 Algebra Logic 50, No. 6, 512-525 (2012); translation from Algebra Logika 50, No. 6, 759-780 (2011). Reviewer: Marat M. Arslanov (Kazan) MSC: 03D45 03D35 03D55 PDFBibTeX XMLCite \textit{M. Manat} and \textit{A. Sorbi}, Algebra Logic 50, No. 6, 512--525 (2012; Zbl 1287.03092); translation from Algebra Logika 50, No. 6, 759--780 (2011) Full Text: DOI Link
Badaev, Serikzhan A.; Manat, Mustafa; Sorbi, Andrea Rogers semilattices of families of two embedded sets in the Ershov hierarchy. (English) Zbl 1257.03071 Math. Log. Q. 58, No. 4-5, 366-376 (2012). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03D45 03D55 PDFBibTeX XMLCite \textit{S. A. Badaev} et al., Math. Log. Q. 58, No. 4--5, 366--376 (2012; Zbl 1257.03071) Full Text: DOI Link
Sorbi, Andrea; Terwijn, Sebastiaan A. Intuitionistic logic and Muchnik degrees. (English) Zbl 1252.03101 Algebra Univers. 67, No. 2, 175-188 (2012). MSC: 03D30 03B55 PDFBibTeX XMLCite \textit{A. Sorbi} and \textit{S. A. Terwijn}, Algebra Univers. 67, No. 2, 175--188 (2012; Zbl 1252.03101) Full Text: DOI arXiv
Marsibilio, Daniele; Sorbi, Andrea Bounded enumeration reducibility and its degree structure. (English) Zbl 1241.03054 Arch. Math. Logic 51, No. 1-2, 163-186 (2012). MSC: 03D30 03D25 PDFBibTeX XMLCite \textit{D. Marsibilio} and \textit{A. Sorbi}, Arch. Math. Logic 51, No. 1--2, 163--186 (2012; Zbl 1241.03054) Full Text: DOI
Chitaia, Irakli O.; Omanadze, Roland Sh.; Sorbi, Andrea Immunity properties and strong positive reducibilities. (English) Zbl 1231.03037 Arch. Math. Logic 50, No. 3-4, 341-352 (2011). Reviewer: Joseph S. Ullian (Santa Barbara) MSC: 03D30 PDFBibTeX XMLCite \textit{I. O. Chitaia} et al., Arch. Math. Logic 50, No. 3--4, 341--352 (2011; Zbl 1231.03037) Full Text: DOI
Lewis, Andrew E. M.; Shore, Richard A.; Sorbi, Andrea Topological aspects of the Medvedev lattice. (English) Zbl 1221.03037 Arch. Math. Logic 50, No. 3-4, 319-340 (2011). Reviewer: Roland Sh. Omanadze (Tbilisi) MSC: 03D25 03D30 PDFBibTeX XMLCite \textit{A. E. M. Lewis} et al., Arch. Math. Logic 50, No. 3--4, 319--340 (2011; Zbl 1221.03037) Full Text: DOI
Sorbi, Andrea; Wu, Guohua; Yang, Yue Diamond embeddings into the enumeration degrees. (English) Zbl 1220.03041 Math. Struct. Comput. Sci. 20, No. 5, 799-811 (2010). Reviewer: Roland Sh. Omanadze (Tbilisi) MSC: 03D30 03D25 PDFBibTeX XMLCite \textit{A. Sorbi} et al., Math. Struct. Comput. Sci. 20, No. 5, 799--811 (2010; Zbl 1220.03041) Full Text: DOI
Lewis, Andrew; Nies, André; Sorbi, Andrea The first order theories of the Medvedev and Muchnik lattices. (English) Zbl 1233.03039 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, 324-331 (2009). MSC: 03C57 03D30 PDFBibTeX XMLCite \textit{A. Lewis} et al., Lect. Notes Comput. Sci. 5635, 324--331 (2009; Zbl 1233.03039) Full Text: DOI
De Carli, F.; Frosini, A.; Rinaldi, S.; Sorbi, A. Lattices of local two-dimensional languages. (English) Zbl 1172.68032 Theor. Comput. Sci. 410, No. 27-29, 2701-2713 (2009). MSC: 68Q45 PDFBibTeX XMLCite \textit{F. De Carli} et al., Theor. Comput. Sci. 410, No. 27--29, 2701--2713 (2009; Zbl 1172.68032) Full Text: DOI
Omanadze, Roland Sh.; Sorbi, Andrea A characterization of the \(\Delta _2^0\) hyperhyperimmune sets. (English) Zbl 1161.03026 J. Symb. Log. 73, No. 4, 1407-1415 (2008). Reviewer: Jeffry L. Hirst (Boone) MSC: 03D25 03D30 PDFBibTeX XMLCite \textit{R. Sh. Omanadze} and \textit{A. Sorbi}, J. Symb. Log. 73, No. 4, 1407--1415 (2008; Zbl 1161.03026) Full Text: DOI
Sorbi, Andrea; Terwijn, Sebastiaan A. Intermediate logics and factors of the Medvedev lattice. (English) Zbl 1156.03026 Ann. Pure Appl. Logic 155, No. 2, 69-85 (2008). Reviewer: Leon Harkleroad (Wilton) MSC: 03B55 03D30 PDFBibTeX XMLCite \textit{A. Sorbi} and \textit{S. A. Terwijn}, Ann. Pure Appl. Logic 155, No. 2, 69--85 (2008; Zbl 1156.03026) Full Text: DOI arXiv
Affatato, Maria L.; Kent, Thomas F.; Sorbi, Andrea Branching in the \({\Sigma^0_2}\)-enumeration degrees: a new perspective. (English) Zbl 1149.03033 Arch. Math. Logic 47, No. 3, 221-231 (2008). Reviewer: Leon Harkleroad (Wilton) MSC: 03D30 03D28 PDFBibTeX XMLCite \textit{M. L. Affatato} et al., Arch. Math. Logic 47, No. 3, 221--231 (2008; Zbl 1149.03033) Full Text: DOI
Omanadze, Roland Sh.; Sorbi, Andrea Strong enumeration reducibilities. (English) Zbl 1110.03028 Arch. Math. Logic 45, No. 7, 869-912 (2006). Reviewer: Leon Harkleroad (Wilton) MSC: 03D30 PDFBibTeX XMLCite \textit{R. Sh. Omanadze} and \textit{A. Sorbi}, Arch. Math. Logic 45, No. 7, 869--912 (2006; Zbl 1110.03028) Full Text: DOI
Cooper, S. Barry; Li, Angsheng; Sorbi, Andrea; Yang, Yue There exists a maximal 3-c.e. enumeration degree. (English) Zbl 1118.03032 Isr. J. Math. 137, 285-320 (2003). MSC: 03D30 PDFBibTeX XMLCite \textit{S. B. Cooper} et al., Isr. J. Math. 137, 285--320 (2003; Zbl 1118.03032) Full Text: DOI
Lempp, Steffen; Sorbi, Andrea Embedding finite lattices into the \(\Sigma_2^0\) enumeration degrees. (English) Zbl 1021.03035 J. Symb. Log. 67, No. 1, 69-90 (2002). Reviewer: Shamil Ishmukhametov (Ul’yanovsk) MSC: 03D25 PDFBibTeX XMLCite \textit{S. Lempp} and \textit{A. Sorbi}, J. Symb. Log. 67, No. 1, 69--90 (2002; Zbl 1021.03035) Full Text: DOI
Nies, André; Sorbi, Andrea Branching in the enumeration degrees of the \(\Sigma_2^0\) sets. (English) Zbl 0924.03080 Isr. J. Math. 110, 29-59 (1999). Reviewer: Zheng Xizhong (Hagen) MSC: 03D30 PDFBibTeX XMLCite \textit{A. Nies} and \textit{A. Sorbi}, Isr. J. Math. 110, 29--59 (1999; Zbl 0924.03080) Full Text: DOI
Slaman, Theodore A.; Sorbi, A. Quasi-minimal enumeration degrees and minimal Turing degrees. (English) Zbl 0957.03049 Ann. Mat. Pura Appl., IV. Ser. 174, 97-120 (1998). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D30 03D28 PDFBibTeX XMLCite \textit{T. A. Slaman} and \textit{A. Sorbi}, Ann. Mat. Pura Appl. (4) 174, 97--120 (1998; Zbl 0957.03049) Full Text: DOI
Sorbi, Andrea Sets of generator and automorphism bases for the enumeration degrees. (English) Zbl 0924.03081 Ann. Pure Appl. Logic 94, No. 1-3, 263-272 (1998). Reviewer: Zheng Xizhong (Hagen) MSC: 03D30 PDFBibTeX XMLCite \textit{A. Sorbi}, Ann. Pure Appl. Logic 94, No. 1--3, 263--272 (1998; Zbl 0924.03081) Full Text: DOI
Cooper, S. Barry; Sorbi, Andrea; Yi, Xiaoding Cupping and noncupping in the enumeration degrees of \(\Sigma_ 2^ 0\) sets. (English) Zbl 0874.03056 Ann. Pure Appl. Logic 82, No. 3, 317-342 (1996). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D30 PDFBibTeX XMLCite \textit{S. B. Cooper} et al., Ann. Pure Appl. Logic 82, No. 3, 317--342 (1996; Zbl 0874.03056) Full Text: DOI
Sorbi, Andrea On some filters and ideals of the Medvedev lattice. (English) Zbl 0704.03025 Arch. Math. Logic 30, No. 1, 29-48 (1990). Reviewer: Andrea Sorbi MSC: 03D30 06D05 PDFBibTeX XMLCite \textit{A. Sorbi}, Arch. Math. Logic 30, No. 1, 29--48 (1990; Zbl 0704.03025) Full Text: DOI
Sorbi, Andrea \(\Sigma^ n_ 0\)-equivalence relations. (English) Zbl 0539.03023 Stud. Log. 41, 351-358 (1982). MSC: 03D45 PDFBibTeX XMLCite \textit{A. Sorbi}, Stud. Log. 41, 351--358 (1982; Zbl 0539.03023) Full Text: DOI