Switch to: References

Add citations

You must login to add citations.
  1. Degree structures: Local and global investigations.Richard A. Shore - 2006 - Bulletin of Symbolic Logic 12 (3):369-389.
    The occasion of a retiring presidential address seems like a time to look back, take stock and perhaps look ahead.Institutionally, it was an honor to serve as President of the Association and I want to thank my teachers and predecessors for guidance and advice and my fellow officers and our publisher for their work and support. To all of the members who answered my calls to chair or serve on this or that committee, I offer my thanks as well. Your (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • There is no ordering on the classes in the generalized high/low hierarchies.Antonio Montalbán - 2006 - Archive for Mathematical Logic 45 (2):215-231.
    We prove that the existential theory of the Turing degrees, in the language with Turing reduction, 0, and unary relations for the classes in the generalized high/low hierarchy, is decidable. We also show that every finite poset labeled with elements of (where is the partition of induced by the generalized high/low hierarchy) can be embedded in preserving the labels. Note that no condition is imposed on the labels.
    Download  
     
    Export citation  
     
    Bookmark   1 citation