Switch to: Citations

Add references

You must login to add references.
  1. Intermediate logics and factors of the Medvedev lattice.Andrea Sorbi & Sebastiaan A. Terwijn - 2008 - Annals of Pure and Applied Logic 155 (2):69-85.
    We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Book Reviews. [REVIEW]Wilfrid Hodges - 1997 - Studia Logica 64 (1):133-149.
    Download  
     
    Export citation  
     
    Bookmark   109 citations  
  • Embedding Brouwer algebras in the Medvedev lattice.Andrea Sorbi - 1991 - Notre Dame Journal of Formal Logic 32 (2):266-275.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Characterizing the Join-Irreducible Medvedev Degrees.Paul Shafer - 2011 - Notre Dame Journal of Formal Logic 52 (1):21-38.
    We characterize the join-irreducible Medvedev degrees as the degrees of complements of Turing ideals, thereby solving a problem posed by Sorbi. We use this characterization to prove that there are Medvedev degrees above the second-least degree that do not bound any join-irreducible degrees above this second-least degree. This solves a problem posed by Sorbi and Terwijn. Finally, we prove that the filter generated by the degrees of closed sets is not prime. This solves a problem posed by Bianchini and Sorbi.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)Some Quotient Lattices of the Medvedev Lattice.Andrea Sorbi - 1991 - Mathematical Logic Quarterly 37 (9‐12):167-182.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • A Note on Closed Degrees of Difficulty of the Medvedev Lattice.Caterina Bianchini & Andrea Sorbi - 1996 - Mathematical Logic Quarterly 42 (1):127-133.
    We consider some nonprincipal filters of the Medvedev lattice. We prove that the filter generated by the nonzero closed degrees of difficulty is not principal and we compare this filter, with respect to inclusion, with some other filters of the lattice. All the filters considered in this paper are disjoint from the prime ideal generated by the dense degrees of difficulty.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)Some Quotient Lattices of the Medvedev Lattice.Andrea Sorbi - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):167-182.
    Download  
     
    Export citation  
     
    Bookmark   9 citations