Andrea Sorbi

Identifiers

• name variant Andrea Sorbi 0.60 · backfill

Papers (9)

1. Intuitionism and computing with partial information math.LO · 2026 · author #4
2. Effective inseparability, lattices, and pre-ordering relations math.LO · 2019 · author #2
3. Trial and error mathematics: Dialectical systems and completions of theories math.LO · 2018 · author #5
4. Comparing the degrees of enumerability and the closed Medvedev degrees math.LO · 2018 · author #2
5. Joins and meets in the structure of Ceers math.LO · 2018 · author #2
6. Calibrating word problems of groups via the complexity of equivalence relations math.LO · 2016 · author #2
7. Generalizations of the Weak Law of the Excluded Middle math.LO · 2011 · author #1
8. Intuitionistic Logic and Muchnik Degrees math.LO · 2010 · author #1
9. Intermediate logics and factors of the Medvedev lattice math.LO · 2006 · author #1

Mentions

• 1111.1936 #1 · backfill · confidence 0.70 Andrea Sorbi
• 2605.20841 #4 · arxiv_oai · confidence 0.70 Andrea Sorbi
• 1003.4489 #1 · backfill · confidence 0.70 Andrea Sorbi

Frequent Coauthors

• Sebastiaan A. Terwijn 3 shared papers
• Uri Andrews 3 shared papers
• Paul Shafer 2 shared papers
• Andr\'e Nies 1 shared papers
• Duccio Pianigiani 1 shared papers
• Hristo Ganchev 1 shared papers
• Jacopo Amidei 1 shared papers
• Luca San Mauro 1 shared papers
• Mariya I. Soskova 1 shared papers
• Theodore A. Slaman 1 shared papers