Switch to: Citations

Add references

You must login to add references.
  1. On restricted forms of enumeration reducibility.Phil Watson - 1990 - Annals of Pure and Applied Logic 49 (1):75-96.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Strong Enumeration Reducibilities.Roland Sh Omanadze & Andrea Sorbi - 2006 - Archive for Mathematical Logic 45 (7):869-912.
    We investigate strong versions of enumeration reducibility, the most important one being s-reducibility. We prove that every countable distributive lattice is embeddable into the local structure $L(\mathfrak D_s)$ of the s-degrees. However, $L(\mathfrak D_s)$ is not distributive. We show that on $\Delta^{0}_{2}$ sets s-reducibility coincides with its finite branch version; the same holds of e-reducibility. We prove some density results for $L(\mathfrak D_s)$ . In particular $L(\mathfrak D_s)$ is upwards dense. Among the results about reducibilities that are stronger than s-reducibility, (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Then-rea enumeration degrees are dense.Alistair H. Lachlan & Richard A. Shore - 1992 - Archive for Mathematical Logic 31 (4):277-285.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Jumps of quasi-minimal enumeration degrees.Kevin McEvoy - 1985 - Journal of Symbolic Logic 50 (3):839-848.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • (1 other version)Enumeration Reducibility Using Bounded Information: Counting Minimal Covers.S. Barry Cooper - 1987 - Mathematical Logic Quarterly 33 (6):537-560.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)Enumeration Reducibility Using Bounded Information: Counting Minimal Covers.S. Barry Cooper - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (6):537-560.
    Download  
     
    Export citation  
     
    Bookmark   13 citations