Switch to: References

Add citations

You must login to add citations.
  1. Measure independent Gödel speed‐ups and the relative difficulty of recognizing sets.Martin K. Solomon - 1993 - Mathematical Logic Quarterly 39 (1):384-392.
    We provide and interpret a new measure independent characterization of the Gödel speed-up phenomenon. In particular, we prove a theorem that demonstrates the indifference of the concept of a measure independent Gödel speed-up to an apparent weakening of its definition that is obtained by requiring only those measures appearing in some fixed Blum complexity measure to participate in the speed-up, and by deleting the “for all r” condition from the definition so as to relax the required amount of speed-up. We (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Effectivizing Inseparability.John Case - 1991 - Mathematical Logic Quarterly 37 (7):97-111.
    Download  
     
    Export citation  
     
    Bookmark   1 citation