Edit Profile (opens in new tab) Sorbi, Andrea Compute Distance To: Compute Author ID: sorbi.andrea Published as: Sorbi, Andrea; Sorbi, A. Documents Indexed: 93 Publications since 1982, including 1 Book 10 Contributions as Editor Co-Authors: 60 Co-Authors with 82 Joint Publications 916 Co-Co-Authors all top 5 Co-Authors 17 single-authored 13 Cooper, Stuart Barry 8 Andrews, Uri 8 Badaev, Serikzhan A. 7 Montagna, Franco 6 Löwe, Benedikt 6 Simi, Giulia 6 Yang, Yue 5 Goncharov, Sergeĭ Savost’yanovich 5 Kent, Thomas F. 5 Omanadze, Roland Sh. 5 San Mauro, Luca 4 Mustafa, Manat 4 Pianigiani, Duccio 3 Amidei, Jacopo 3 Bianchini, Caterina 3 Chitaia, Irakli O. 3 Lempp, Steffen 3 Lewis, Andrew E. M. 3 Nies, André Otfrid 3 Slaman, Theodore A. 3 Terwijn, Sebastiaan A. 2 Affatato, Maria Libera 2 Arslanov, Marat M. 2 Case, John 2 De Carli, F. 2 Frosini, Andrea 2 Ganchev, Hristo A. 2 Jain, Sanjay 2 Lewis-Pye, Andrew E. M. 2 Li, Angsheng 2 Marsibilio, Daniele 2 Mayordomo, Elvira 2 Ng, KengMeng 2 Rinaldi, Simone 2 Schweber, Noah David 2 Shore, Richard Arnold 2 Soskova, Alexandra A. 2 Soskova, Mariya Ivanova 2 Wu, Guohua 1 Badillo, Liliana 1 Bazhenov, Nikolaĭ Alekseevich 1 Bellissima, Fabio 1 Bereznyuk, Stanislaw 1 Bernardi, Claudio 1 Bonizzoni, Paola 1 Buss, Samuel R. 1 Coles, Richard J. 1 Cooper, S. Barry 1 Delle Rose, V. 1 Dilhage, R. 1 Elwes, Richard H. 1 Fontani, Sandra 1 Giorgi, Matthew B. 1 Grubba, Tanja 1 Kalimullin, Iskander Shagitovich 1 Macpherson, Dugald 1 Marini, Claudio 1 Mauro, L. San 1 Miller, Joseph S. 1 Normann, Dag 1 Shafer, Paul 1 Sorrentino, Marianna 1 Ursini, Aldo 1 van Emde Boas, Peter 1 Wainer, Stanley Scott 1 Weihrauch, Klaus 1 Yamaleev, Mars Mansurovich 1 Yi, Xiaoding 1 Zhong, Ning all top 5 Serials 16 The Journal of Symbolic Logic 14 Archive for Mathematical Logic 7 Annals of Pure and Applied Logic 6 Journal of Logic and Computation 4 Mathematical Logic Quarterly (MLQ) 3 Algebra i Logika 3 Theoretical Computer Science 3 The Review of Symbolic Logic 2 Israel Journal of Mathematics 2 Algebra and Logic 2 Notre Dame Journal of Formal Logic 2 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 Theory of Computing Systems 1 Algebra Universalis 1 Annali di Matematica Pura ed Applicata. Serie Quarta 1 Fundamenta Mathematicae 1 Journal of Computer and System Sciences 1 Proceedings of the American Mathematical Society 1 Sibirskiĭ Matematicheskiĭ Zhurnal 1 Studia Logica 1 Bollettino della Unione Matemàtica Italiana. Serie VI. D. Algebra e Geometria 1 MSCS. Mathematical Structures in Computer Science 1 Bollettino della Unione Matemàtica Italiana. Serie VI. B 1 PU.M.A. Pure Mathematics and Applications 1 Georgian Mathematical Journal 1 The Bulletin of Symbolic Logic 1 Communications in Nonlinear Science and Numerical Simulation 1 Journal of Mathematical Logic 1 Lecture Notes in Computer Science 1 Lecture Notes in Pure and Applied Mathematics 1 Electronic Notes in Theoretical Computer Science 1 Tbilisi Mathematical Journal 1 Computability 1 Matematica, Cultura e Società. Rivista dell’Unione Matematica Italiana. Serie I all top 5 Fields 91 Mathematical logic and foundations (03-XX) 16 Computer science (68-XX) 11 General and overarching topics; collections (00-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 3 History and biography (01-XX) 2 Category theory; homological algebra (18-XX) 2 General topology (54-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 71 Publications have been cited 356 times in 189 Documents Cited by ▼ Year ▼ Generalized computable numerations and nontrivial Rogers semilattices. Zbl 0969.03052Goncharov, S. S.; Sorbi, A. 34 1997 Classifying positive equivalence relations. Zbl 0528.03030Bernardi, Claudio; Sorbi, Andrea 26 1983 The Medvedev lattice of degrees of difficulty. Zbl 0849.03033Sorbi, Andrea 18 1996 Universal computably enumerable equivalence relations. Zbl 1338.03076Andrews, Uri; Lempp, Steffen; Miller, Joseph S.; Ng, Keng Meng; San Mauro, Luca; Sorbi, Andrea 17 2014 Some remarks on the algebraic structure of the Medvedev lattice. Zbl 0703.03022Sorbi, Andrea 15 1990 Embedding Brouwer algebra in the Medvedev lattice. Zbl 0737.06009Sorbi, Andrea 12 1991 Cupping and noncupping in the enumeration degrees of \(\Sigma_ 2^ 0\) sets. Zbl 0874.03056Cooper, S. Barry; Sorbi, Andrea; Yi, Xiaoding 12 1996 A survey on universal computably enumerable equivalence relations. Zbl 06700071Andrews, Uri; Badaev, Serikzhan; Sorbi, Andrea 11 2017 The enumeration degrees of the \(\Sigma_ 2^ 0\) sets. Zbl 0884.03046Sorbi, Andrea 10 1997 Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy. Zbl 1164.03340Badaev, S. A.; Goncharov, S. S.; Sorbi, A. 10 2006 Universal recursion theoretic properties of R.E. preordered structures. Zbl 0578.03026Montagna, Franco; Sorbi, Andrea 10 1985 Taking the Pirahã seriously. Zbl 1401.03110Montagna, Franco; Simi, Giulia; Sorbi, Andrea 10 2015 Intermediate logics and factors of the Medvedev lattice. Zbl 1156.03026Sorbi, Andrea; Terwijn, Sebastiaan A. 9 2008 Some quotient lattices of the Medvedev lattice. Zbl 0702.03021Sorbi, Andrea 8 1991 Strong enumeration reducibilities. Zbl 1110.03028Omanadze, Roland Sh.; Sorbi, Andrea 7 2006 Elementary theories for Rogers semilattices. Zbl 1106.03041Badaev, S. A.; Goncharov, S. S.; Sorbi, Andrea 7 2005 Weakly precomplete computably enumerable equivalence relations. Zbl 1361.03043Badaev, Serikzhan; Sorbi, Andrea 7 2016 Jumps of computably enumerable equivalence relations. Zbl 1406.03055Andrews, Uri; Sorbi, Andrea 6 2018 Complexity, logic, and recursion theory. Zbl 0865.00036 5 1997 Bounding nonsplitting enumeration degrees. Zbl 1131.03019Kent, Thomas F.; Sorbi, Andrea 5 2007 On extensions of embeddings into the enumeration degrees of the \({\Sigma_2^0}\)-sets. Zbl 1097.03036Lempp, Steffen; Slaman, Theodore A.; Sorbi, Andrea 5 2005 Positive undecidable numberings in the Ershov hierarchy. Zbl 1287.03092Manat, M.; Sorbi, A. 5 2012 Intuitionistic logic and Muchnik degrees. Zbl 1252.03101Sorbi, Andrea; Terwijn, Sebastiaan A. 5 2012 Branching in the enumeration degrees of the \(\Sigma_2^0\) sets. Zbl 0924.03080Nies, André; Sorbi, Andrea 4 1999 Relative splittings of \(\mathbf 0_e\prime\) in the \(\Delta_2^0\)-enumeration degrees. Zbl 0951.03034Arslanov, Marat M.; Sorbi, Andrea 4 2000 A note on closed degrees of difficulty of the Medvedev lattice. Zbl 0845.03020Bianchini, Caterina; Sorbi, Andrea 4 1996 Logic and probabilistic systems. Zbl 0854.03020Montagna, Franco; Simi, Giulia; Sorbi, Andrea 4 1996 Density results in the \(\Delta_2^0\) e-degrees. Zbl 1042.03033Arslanov, Marat M.; Kalimullin, Iskander Sh.; Sorbi, Andrea 4 2001 Elementary properties of Rogers semilattices of arithmetical numberings. Zbl 1054.03033Badaev, S. A.; Goncharov, S. S.; Sorbi, A. 4 2003 Initial segments of the \({\Sigma}_2^0\) enumeration degrees. Zbl 1348.03038Ganchev, Hristo; Sorbi, Andrea 4 2016 New computational paradigms. Changing conceptions of what is computable. Zbl 1130.68005 4 2008 On some filters and ideals of the Medvedev lattice. Zbl 0704.03025Sorbi, Andrea 4 1990 Bounding and nonbounding minimal pairs in the enumeration degrees. Zbl 1093.03029Cooper, S. Barry; Li, Angsheng; Sorbi, Andrea; Yang, Yue 4 2005 Rogers semilattices of families of two embedded sets in the Ershov hierarchy. Zbl 1257.03071Badaev, Serikzhan A.; Manat, Mustafa; Sorbi, Andrea 4 2012 The complexity of index sets of classes of computably enumerable equivalence relations. Zbl 1403.03062Andrews, Uri; Sorbi, Andrea 4 2016 Noncappable enumeration degrees below \(\text \textbf{0}'_ e\). Zbl 0874.03055Cooper, S. Barry; Sorbi, Andrea 3 1996 Jumps of \(\Sigma_2^0\)-high e-degrees and properly \(\Sigma_2^0\) e-degrees. Zbl 0949.03036Shore, Richard; Sorbi, Andrea 3 1999 Topological aspects of the Medvedev lattice. Zbl 1221.03037Lewis, Andrew E. M.; Shore, Richard A.; Sorbi, Andrea 3 2011 Singleton enumeration reducibility and arithmetic. Zbl 1327.03034Marsibilio, Daniele; Sorbi, Andrea 3 2013 Creativeness and completeness in recursion categories of partial recursive operators. Zbl 0714.03041Montagna, Franco; Sorbi, Andrea 3 1989 On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. Zbl 1094.68039Case, John; Jain, Sanjay; Montagna, Franco; Simi, Giulia; Sorbi, Andrea 2 2005 Embedding finite lattices into the \(\Sigma_2^0\) enumeration degrees. Zbl 1021.03035Lempp, Steffen; Sorbi, Andrea 2 2002 The first order theories of the Medvedev and Muchnik lattices. Zbl 1233.03039Lewis, Andrew; Nies, André; Sorbi, Andrea 2 2009 Immunity properties of the s-degrees. Zbl 1254.03078Omanadze, Roland; Sorbi, Andrea 2 2010 A characterization of the \(\Delta _2^0\) hyperhyperimmune sets. Zbl 1161.03026Omanadze, Roland Sh.; Sorbi, Andrea 2 2008 Undecidability of local structures of s-degrees and Q-degrees. Zbl 1158.03028Affatato, Maria Libera; Kent, Thomas F.; Sorbi, Andrea 2 2008 A note on initial segments of the enumeration degrees. Zbl 1337.03060Slaman, Theodore A.; Sorbi, Andrea 2 2014 A note on algebras of languages. Zbl 1228.68038Marini, Claudio; Simi, Giulia; Sorbi, Andrea; Sorrentino, Marianna 2 2011 Classifying equivalence relations in the Ershov hierarchy. Zbl 1461.03041Bazhenov, Nikolay; Mustafa, Manat; San Mauro, Luca; Sorbi, Andrea; Yamaleev, Mars 1 2020 A note on uniform density in weak arithmetical theories. Zbl 1477.03170Pianigiani, Duccio; Sorbi, Andrea 1 2021 Sets of generator and automorphism bases for the enumeration degrees. Zbl 0924.03081Sorbi, Andrea 1 1998 A note on relative efficiency of axiom systems. Zbl 0812.03026Fontani, Sandra; Montagna, Franco; Sorbi, Andrea 1 1994 The distribution of properly \(\Sigma_2^0\) e-degrees. Zbl 0946.03049Bereznyuk, Stanislaw; Coles, Richard; Sorbi, Andrea 1 2000 Structural properties and \(\Sigma_2^0\) enumeration degrees. Zbl 0945.03063Nies, André; Sorbi, Andrea 1 2000 Quasi-minimal enumeration degrees and minimal Turing degrees. Zbl 0957.03049Slaman, Theodore A.; Sorbi, A. 1 1998 Diamond embeddings into the enumeration degrees. Zbl 1220.03041Sorbi, Andrea; Wu, Guohua; Yang, Yue 1 2010 Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Zbl 1119.68004 1 2007 High minimal pairs in the enumeration degrees. Zbl 1239.03029Sorbi, Andrea; Wu, Guohua; Yang, Yue 1 2009 Computability in context. Computation and logic in the real world. Zbl 1235.03005 1 2011 Some remarks on tiling recognizable languages. Zbl 1110.68061De Carli, F.; Frosini, A.; Rinaldi, S.; Sorbi, A. 1 2005 Properly \(\Sigma_2^0\) enumeration degrees and the high/low hierarchy. Zbl 1114.03034Giorgi, Matthew; Sorbi, Andrea; Yang, Yue 1 2006 Trial and error mathematics. I: Dialectical and quasidialectical systems. Zbl 1384.03079Amidei, Jacopo; Pianigiani, Duccio; San Mauro, Luca; Simi, Giulia; Sorbi, Andrea 1 2016 A note on the enumeration degrees of 1-generic sets. Zbl 1388.03041Badillo, Liliana; Bianchini, Caterina; Ganchev, Hristo; Kent, Thomas F.; Sorbi, Andrea 1 2016 On learning to coordinate. Random bits help, insightful normal forms, and competency isomorphisms. Zbl 1274.68142Case, John; Jain, Sanjay; Montagna, Franco; Simi, Giulia; Sorbi, Andrea 1 2003 The theory of ceers computes true arithmetic. Zbl 1442.03021Andrews, Uri; Schweber, Noah; Sorbi, Andrea 1 2020 Notes on conjunctive and quasi degrees. Zbl 07398786Chitaia, Irakli; Omanadze, Roland; Sorbi, Andrea 1 2021 On quasi-minimal e-degrees and total e-degrees. Zbl 0651.03033Sorbi, Andrea 1 1988 Bounded enumeration reducibility and its degree structure. Zbl 1241.03054Marsibilio, Daniele; Sorbi, Andrea 1 2012 Empty intervals in the enumeration degrees. Zbl 1241.03053Kent, Thomas F.; Lewis, Andrew E. M.; Sorbi, Andrea 1 2012 Friedberg numberings in the Ershov hierarchy. Zbl 1341.03055Badaev, Serikzhan A.; Manat, Mustafa; Sorbi, Andrea 1 2015 Numerazioni positive, r.e. classi e formule. Zbl 0502.03023Sorbi, Andrea 1 1982 A note on uniform density in weak arithmetical theories. Zbl 1477.03170Pianigiani, Duccio; Sorbi, Andrea 1 2021 Notes on conjunctive and quasi degrees. Zbl 07398786Chitaia, Irakli; Omanadze, Roland; Sorbi, Andrea 1 2021 Classifying equivalence relations in the Ershov hierarchy. Zbl 1461.03041Bazhenov, Nikolay; Mustafa, Manat; San Mauro, Luca; Sorbi, Andrea; Yamaleev, Mars 1 2020 The theory of ceers computes true arithmetic. Zbl 1442.03021Andrews, Uri; Schweber, Noah; Sorbi, Andrea 1 2020 Jumps of computably enumerable equivalence relations. Zbl 1406.03055Andrews, Uri; Sorbi, Andrea 6 2018 A survey on universal computably enumerable equivalence relations. Zbl 06700071Andrews, Uri; Badaev, Serikzhan; Sorbi, Andrea 11 2017 Weakly precomplete computably enumerable equivalence relations. Zbl 1361.03043Badaev, Serikzhan; Sorbi, Andrea 7 2016 Initial segments of the \({\Sigma}_2^0\) enumeration degrees. Zbl 1348.03038Ganchev, Hristo; Sorbi, Andrea 4 2016 The complexity of index sets of classes of computably enumerable equivalence relations. Zbl 1403.03062Andrews, Uri; Sorbi, Andrea 4 2016 Trial and error mathematics. I: Dialectical and quasidialectical systems. Zbl 1384.03079Amidei, Jacopo; Pianigiani, Duccio; San Mauro, Luca; Simi, Giulia; Sorbi, Andrea 1 2016 A note on the enumeration degrees of 1-generic sets. Zbl 1388.03041Badillo, Liliana; Bianchini, Caterina; Ganchev, Hristo; Kent, Thomas F.; Sorbi, Andrea 1 2016 Taking the Pirahã seriously. Zbl 1401.03110Montagna, Franco; Simi, Giulia; Sorbi, Andrea 10 2015 Friedberg numberings in the Ershov hierarchy. Zbl 1341.03055Badaev, Serikzhan A.; Manat, Mustafa; Sorbi, Andrea 1 2015 Universal computably enumerable equivalence relations. Zbl 1338.03076Andrews, Uri; Lempp, Steffen; Miller, Joseph S.; Ng, Keng Meng; San Mauro, Luca; Sorbi, Andrea 17 2014 A note on initial segments of the enumeration degrees. Zbl 1337.03060Slaman, Theodore A.; Sorbi, Andrea 2 2014 Singleton enumeration reducibility and arithmetic. Zbl 1327.03034Marsibilio, Daniele; Sorbi, Andrea 3 2013 Positive undecidable numberings in the Ershov hierarchy. Zbl 1287.03092Manat, M.; Sorbi, A. 5 2012 Intuitionistic logic and Muchnik degrees. Zbl 1252.03101Sorbi, Andrea; Terwijn, Sebastiaan A. 5 2012 Rogers semilattices of families of two embedded sets in the Ershov hierarchy. Zbl 1257.03071Badaev, Serikzhan A.; Manat, Mustafa; Sorbi, Andrea 4 2012 Bounded enumeration reducibility and its degree structure. Zbl 1241.03054Marsibilio, Daniele; Sorbi, Andrea 1 2012 Empty intervals in the enumeration degrees. Zbl 1241.03053Kent, Thomas F.; Lewis, Andrew E. M.; Sorbi, Andrea 1 2012 Topological aspects of the Medvedev lattice. Zbl 1221.03037Lewis, Andrew E. M.; Shore, Richard A.; Sorbi, Andrea 3 2011 A note on algebras of languages. Zbl 1228.68038Marini, Claudio; Simi, Giulia; Sorbi, Andrea; Sorrentino, Marianna 2 2011 Computability in context. Computation and logic in the real world. Zbl 1235.03005 1 2011 Immunity properties of the s-degrees. Zbl 1254.03078Omanadze, Roland; Sorbi, Andrea 2 2010 Diamond embeddings into the enumeration degrees. Zbl 1220.03041Sorbi, Andrea; Wu, Guohua; Yang, Yue 1 2010 The first order theories of the Medvedev and Muchnik lattices. Zbl 1233.03039Lewis, Andrew; Nies, André; Sorbi, Andrea 2 2009 High minimal pairs in the enumeration degrees. Zbl 1239.03029Sorbi, Andrea; Wu, Guohua; Yang, Yue 1 2009 Intermediate logics and factors of the Medvedev lattice. Zbl 1156.03026Sorbi, Andrea; Terwijn, Sebastiaan A. 9 2008 New computational paradigms. Changing conceptions of what is computable. Zbl 1130.68005 4 2008 A characterization of the \(\Delta _2^0\) hyperhyperimmune sets. Zbl 1161.03026Omanadze, Roland Sh.; Sorbi, Andrea 2 2008 Undecidability of local structures of s-degrees and Q-degrees. Zbl 1158.03028Affatato, Maria Libera; Kent, Thomas F.; Sorbi, Andrea 2 2008 Bounding nonsplitting enumeration degrees. Zbl 1131.03019Kent, Thomas F.; Sorbi, Andrea 5 2007 Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Zbl 1119.68004 1 2007 Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy. Zbl 1164.03340Badaev, S. A.; Goncharov, S. S.; Sorbi, A. 10 2006 Strong enumeration reducibilities. Zbl 1110.03028Omanadze, Roland Sh.; Sorbi, Andrea 7 2006 Properly \(\Sigma_2^0\) enumeration degrees and the high/low hierarchy. Zbl 1114.03034Giorgi, Matthew; Sorbi, Andrea; Yang, Yue 1 2006 Elementary theories for Rogers semilattices. Zbl 1106.03041Badaev, S. A.; Goncharov, S. S.; Sorbi, Andrea 7 2005 On extensions of embeddings into the enumeration degrees of the \({\Sigma_2^0}\)-sets. Zbl 1097.03036Lempp, Steffen; Slaman, Theodore A.; Sorbi, Andrea 5 2005 Bounding and nonbounding minimal pairs in the enumeration degrees. Zbl 1093.03029Cooper, S. Barry; Li, Angsheng; Sorbi, Andrea; Yang, Yue 4 2005 On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. Zbl 1094.68039Case, John; Jain, Sanjay; Montagna, Franco; Simi, Giulia; Sorbi, Andrea 2 2005 Some remarks on tiling recognizable languages. Zbl 1110.68061De Carli, F.; Frosini, A.; Rinaldi, S.; Sorbi, A. 1 2005 Elementary properties of Rogers semilattices of arithmetical numberings. Zbl 1054.03033Badaev, S. A.; Goncharov, S. S.; Sorbi, A. 4 2003 On learning to coordinate. Random bits help, insightful normal forms, and competency isomorphisms. Zbl 1274.68142Case, John; Jain, Sanjay; Montagna, Franco; Simi, Giulia; Sorbi, Andrea 1 2003 Embedding finite lattices into the \(\Sigma_2^0\) enumeration degrees. Zbl 1021.03035Lempp, Steffen; Sorbi, Andrea 2 2002 Density results in the \(\Delta_2^0\) e-degrees. Zbl 1042.03033Arslanov, Marat M.; Kalimullin, Iskander Sh.; Sorbi, Andrea 4 2001 Relative splittings of \(\mathbf 0_e\prime\) in the \(\Delta_2^0\)-enumeration degrees. Zbl 0951.03034Arslanov, Marat M.; Sorbi, Andrea 4 2000 The distribution of properly \(\Sigma_2^0\) e-degrees. Zbl 0946.03049Bereznyuk, Stanislaw; Coles, Richard; Sorbi, Andrea 1 2000 Structural properties and \(\Sigma_2^0\) enumeration degrees. Zbl 0945.03063Nies, André; Sorbi, Andrea 1 2000 Branching in the enumeration degrees of the \(\Sigma_2^0\) sets. Zbl 0924.03080Nies, André; Sorbi, Andrea 4 1999 Jumps of \(\Sigma_2^0\)-high e-degrees and properly \(\Sigma_2^0\) e-degrees. Zbl 0949.03036Shore, Richard; Sorbi, Andrea 3 1999 Sets of generator and automorphism bases for the enumeration degrees. Zbl 0924.03081Sorbi, Andrea 1 1998 Quasi-minimal enumeration degrees and minimal Turing degrees. Zbl 0957.03049Slaman, Theodore A.; Sorbi, A. 1 1998 Generalized computable numerations and nontrivial Rogers semilattices. Zbl 0969.03052Goncharov, S. S.; Sorbi, A. 34 1997 The enumeration degrees of the \(\Sigma_ 2^ 0\) sets. Zbl 0884.03046Sorbi, Andrea 10 1997 Complexity, logic, and recursion theory. Zbl 0865.00036 5 1997 The Medvedev lattice of degrees of difficulty. Zbl 0849.03033Sorbi, Andrea 18 1996 Cupping and noncupping in the enumeration degrees of \(\Sigma_ 2^ 0\) sets. Zbl 0874.03056Cooper, S. Barry; Sorbi, Andrea; Yi, Xiaoding 12 1996 A note on closed degrees of difficulty of the Medvedev lattice. Zbl 0845.03020Bianchini, Caterina; Sorbi, Andrea 4 1996 Logic and probabilistic systems. Zbl 0854.03020Montagna, Franco; Simi, Giulia; Sorbi, Andrea 4 1996 Noncappable enumeration degrees below \(\text \textbf{0}'_ e\). Zbl 0874.03055Cooper, S. Barry; Sorbi, Andrea 3 1996 A note on relative efficiency of axiom systems. Zbl 0812.03026Fontani, Sandra; Montagna, Franco; Sorbi, Andrea 1 1994 Embedding Brouwer algebra in the Medvedev lattice. Zbl 0737.06009Sorbi, Andrea 12 1991 Some quotient lattices of the Medvedev lattice. Zbl 0702.03021Sorbi, Andrea 8 1991 Some remarks on the algebraic structure of the Medvedev lattice. Zbl 0703.03022Sorbi, Andrea 15 1990 On some filters and ideals of the Medvedev lattice. Zbl 0704.03025Sorbi, Andrea 4 1990 Creativeness and completeness in recursion categories of partial recursive operators. Zbl 0714.03041Montagna, Franco; Sorbi, Andrea 3 1989 On quasi-minimal e-degrees and total e-degrees. Zbl 0651.03033Sorbi, Andrea 1 1988 Universal recursion theoretic properties of R.E. preordered structures. Zbl 0578.03026Montagna, Franco; Sorbi, Andrea 10 1985 Classifying positive equivalence relations. Zbl 0528.03030Bernardi, Claudio; Sorbi, Andrea 26 1983 Numerazioni positive, r.e. classi e formule. Zbl 0502.03023Sorbi, Andrea 1 1982 all cited Publications top 5 cited Publications all top 5 Cited by 148 Authors 36 Sorbi, Andrea 14 Soskova, Mariya Ivanova 13 Bazhenov, Nikolaĭ Alekseevich 13 Mustafa, Manat 11 Terwijn, Sebastiaan A. 10 Badaev, Serikzhan A. 9 Ganchev, Hristo A. 8 Faĭzrahmanov, Marat Khaidarovich 8 Nies, André Otfrid 7 Kalimullin, Iskander Shagitovich 6 Andrews, Uri 6 Kalmurzaev, Birzhan S. 6 Lempp, Steffen 6 Ng, KengMeng 6 Ospichev, Sergeĭ Sergeevich 6 Yamaleev, Mars Mansurovich 5 Faizrakhmanov, Marat Kh. 5 Harris, Charles M. 5 Kent, Thomas F. 5 Omanadze, Roland Sh. 5 Sergeev, Yaroslav Dmitrievich 4 Cenzer, Douglas 4 Cooper, Stuart Barry 4 Downey, Rodney Graham 4 Kuyper, Rutger 4 Puzarenko, Vadim G. 4 San Mauro, Luca 4 Stephan, Frank 3 Arslanov, Marat M. 3 Badillo, Liliana 3 Batyrshin, Ilnur I. 3 Bernardi, Claudio 3 Brattka, Vasco 3 Case, John 3 Chitaia, Irakli O. 3 Greenberg, Noam 3 Hinman, Peter G. 3 Miller, Joseph S. 3 Selivanov, Viktor L’vovich 3 Shafer, Paul 3 Simpson, Stephen G. 3 Yang, Yue 2 Amidei, Jacopo 2 Barendregt, Hendrik Pieter 2 Forcheri, Paola 2 Gentilini, Paolo 2 Issakhov, A. A. 2 Jain, Sanjay 2 Khoussainov, Bakhadyr M. 2 Lewis, Andrew E. M. 2 Melnikov, Alexander G. 2 Moelius, Samuel E. III 2 Pianigiani, Duccio 2 Sariev, Andrey C. 2 Shavrukov, V. Yu. 2 Slaman, Theodore A. 2 Soskova, Alexandra A. 2 Wu, Guohua 1 Abeshev, K. Sh. 1 Affatato, Maria Libera 1 Alaev, Pavel Evgenievich 1 Bagaria, Joan 1 Basu, Sankha S. 1 Bianchini, Caterina 1 Brugnano, Luigi 1 Caldarola, Fabio 1 Carotenuto, Gemma 1 Caterina, Gianluca 1 Cholak, Peter A. 1 Cococcioni, Marco 1 Cudazzo, Alessandro 1 D’Alotto, Louis A. 1 Dashti, Ali 1 Day, Adam R. 1 De Leone, Renato 1 Delle Rose, V. 1 Dorzhieva, Marina Valerianovna 1 Emelyanov, Alexey A. 1 Fasano, Giovanni 1 Fokina, Ekaterina B. 1 Friedman, Sy-David 1 Gangle, Rocco 1 Gavryushkin, Alex 1 Gavryushkin, Alexander 1 Gherardi, Guido 1 Giorgi, Matthew B. 1 Golov, Anton 1 Goncharov, Sergeĭ Savost’yanovich 1 Gurevich, Yuri 1 Harizanov, Valentina S. 1 Harrington, Leo A. 1 Herbert, Ian 1 Higuchi, Kojiro 1 Hirschfeldt, Denis Roman 1 Ianovski, Egor 1 Iavernaro, Felice 1 Iudin, Dmitry I. 1 Iudin, Fedor D. 1 Ivanova, Zlata Konstantinovna 1 Kabylzhanova, D. K. ...and 48 more Authors all top 5 Cited in 41 Serials 24 Annals of Pure and Applied Logic 23 Archive for Mathematical Logic 21 Algebra and Logic 21 The Journal of Symbolic Logic 10 Siberian Mathematical Journal 6 Lobachevskii Journal of Mathematics 5 Notre Dame Journal of Formal Logic 4 Transactions of the American Mathematical Society 4 Mathematical Logic Quarterly (MLQ) 3 Israel Journal of Mathematics 3 Studia Logica 3 Theoretical Computer Science 3 Journal of Mathematical Sciences (New York) 3 The Bulletin of Symbolic Logic 3 Theory of Computing Systems 3 Communications in Nonlinear Science and Numerical Simulation 3 Sibirskie Èlektronnye Matematicheskie Izvestiya 3 The Review of Symbolic Logic 2 Advances in Mathematics 2 Algebra Universalis 2 Journal of Computational and Applied Mathematics 2 Information and Computation 2 MSCS. Mathematical Structures in Computer Science 2 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika 2 Computability 1 Annali di Matematica Pura ed Applicata. Serie Quarta 1 Applied Mathematics and Computation 1 Journal of Optimization Theory and Applications 1 Proceedings of the American Mathematical Society 1 Tohoku Mathematical Journal. Second Series 1 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika 1 Russian Mathematics 1 Journal of Applied Non-Classical Logics 1 Journal of Functional Programming 1 Annals of Mathematics and Artificial Intelligence 1 Soft Computing 1 Foundations of Science 1 Journal of Mathematical Logic 1 Journal of Applied Logic 1 Oberwolfach Reports 1 Logical Methods in Computer Science all top 5 Cited in 16 Fields 172 Mathematical logic and foundations (03-XX) 24 Computer science (68-XX) 13 Order, lattices, ordered algebraic structures (06-XX) 3 General and overarching topics; collections (00-XX) 3 Group theory and generalizations (20-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Numerical analysis (65-XX) 2 History and biography (01-XX) 2 Combinatorics (05-XX) 2 Category theory; homological algebra (18-XX) 2 Operations research, mathematical programming (90-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Real functions (26-XX) 1 Sequences, series, summability (40-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year