Get started
Author

Andrea Sorbi

Observed names: A. SORBI, A. Sorbi, ANDREA SORBI, Andea Sorbi, SORBI, ANDREA, Sorbi Andrea, Sorbi, Andrea
Observed institutions: University of Siena, University of Wisconsin–Madison, TU Wien, University of Auckland, Scuola Normale Superiore, Al-Farabi Kazakh National University, Sofia University "St. Kliment Ohridski", Sapienza University of Rome, University of California, Berkeley
ORCID: 0000-0001-9288-3290
Observed ORCID: 0000-0001-9288-3290
OpenAlex ID: A5068865870
complexity, logic, and recursion theory
2019 · Andrea Sorbi · CRC Press eBooks · 126
Generalized computable numerations and nontrivial rogers semilattices
1997 · S. S. Goncharov, A. Sorbi · Algebra and Logic · 96
New Computational Paradigms: Changing Conceptions of What is Computable
2007 · S. Barry Cooper, Benedikt Lwe, et al. · CERN Document Server (European Organization for Nuclear Research) · 86
Classifying positive equivalence relations
1983 · Claudio Bernardi, Andrea Sorbi · Journal of Symbolic Logic · 82
Universal Computably Enumerable Equivalence Relations
2014 · URI ANDREWS, STEFFEN LEMPP, et al. · Journal of Symbolic Logic · 60
Joins and meets in the structure of ceers
2018 · Uri Andrews, Andea Sorbi · Computability · 54
PDF
A Survey on Universal Computably Enumerable Equivalence Relations
2016 · Uri Andrews, Serikzhan Badaev, et al. · Lecture notes in computer science · 45
Completeness and Universality of Arithmetical Numberings
2003 · Serikzhan Badaev, Sergey Goncharov, et al. · Springer eBooks · 44
The Medvedev lattice of degrees of difficulty
1996 · Andrea Sorbi · Cambridge University Press eBooks · 42
Taking the Pirahã seriously
2014 · Franco Montagna, Giulia Simi, et al. · Communications in Nonlinear Science and Numerical Simulation · 29
Some remarks on the algebraic structure of the Medvedev Lattice
1990 · Andrea Sorbi · Journal of Symbolic Logic · 29
Computability in Context: Computation and Logic in the Real World
2011 · S Barry Cooper, Andrea Sorbi · IMPERIAL COLLEGE PRESS eBooks · 26
Universal recursion theoretic properties of r.e. preordered structures
1985 · Franco Montagna, Andrea Sorbi · Journal of Symbolic Logic · 25
Cupping and noncupping in the enumeration degrees of ∑20 sets
1996 · S.Barry Cooper, Andrea Sorbi, et al. · Annals of Pure and Applied Logic · 24
PDF
Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy
2006 · S. A. Badaev, S. S. Goncharov, et al. · Algebra and Logic · 23
Embedding Brouwer algebras in the Medvedev lattice.
1991 · Andrea Sorbi · Notre Dame Journal of Formal Logic · 21
PDF
Intermediate logics and factors of the Medvedev lattice
2008 · Andrea Sorbi, Sebastiaan A. Terwijn · Annals of Pure and Applied Logic · 20
PDF
Algebraic Properties of Rogers Semilattices of Arithmetical Numberings
2003 · Serikzhan Badaev, Sergey Goncharov, et al. · Springer eBooks · 20
Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings
2007 · S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, Cooper, S. B., et al. · Lecture notes in computer science · 19
Strong Enumeration Reducibilities
2006 · Roland Sh. Omanadze, Andrea Sorbi · Archive for Mathematical Logic · 19
The theory of ceers computes true arithmetic
2020 · Uri Andrews, Noah Schweber, et al. · Annals of Pure and Applied Logic · 18
Weakly precomplete computably enumerable equivalence relations
2016 · Serikzhan Badaev, Andrea Sorbi · Mathematical logic quarterly · 16
Elementary Theories for Rogers Semilattices
2005 · S. A. Badaev, S. S. Goncharov, et al. · Algebra and Logic · 15
Some Quotient Lattices of the Medvedev Lattice
1991 · Andrea Sorbi · Mathematical logic quarterly · 14
Pomology observations, morphometric analysis, ultrastructural study and allelic profiles of “olivastra Seggianese” endocarps from ancient olive trees (Olea europaea L.)
2010 · Claudio Milanesi, Andrea Sorbi, et al. · Comptes Rendus Biologies · 13
PDF
Works count: 141
Citation count: 1,338
H-index: 19
I10-index: 35
Year
Topic
Type