Switch to: References

Add citations

You must login to add citations.
  1. Strong minimal pairs in the enumeration degrees.Josiah Jacobsen-Grocott - 2024 - Annals of Pure and Applied Logic 175 (10):103464.
    Download  
     
    Export citation  
     
    Bookmark  
  • On Cupping and Ahmad Pairs.Iskander Sh Kalimullin, Steffen Lempp, N. G. Keng Meng & Mars M. Yamaleev - forthcoming - Journal of Symbolic Logic:1-12.
    Working toward showing the decidability of the $\forall \exists $ -theory of the ${\Sigma ^0_2}$ -enumeration degrees, we prove that no so-called Ahmad pair of ${\Sigma ^0_2}$ -enumeration degrees can join to ${\mathbf 0}_e'$.
    Download  
     
    Export citation  
     
    Bookmark