Switch to: References

Add citations

You must login to add citations.
  1. Enumeration 1-Genericity in the Local Enumeration Degrees. [REVIEW]Liliana Badillo, Charles M. Harris & Mariya I. Soskova - 2018 - Notre Dame Journal of Formal Logic 59 (4):461-489.
    We discuss a notion of forcing that characterizes enumeration 1-genericity, and we investigate the immunity, lowness, and quasiminimality properties of enumeration 1-generic sets and their degrees. We construct an enumeration operator Δ such that, for any A, the set ΔA is enumeration 1-generic and has the same jump complexity as A. We deduce from this and other recent results from the literature that not only does every degree a bound an enumeration 1-generic degree b such that a'=b', but also that, (...))
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Density of the cototal enumeration degrees.Joseph S. Miller & Mariya I. Soskova - 2018 - Annals of Pure and Applied Logic 169 (5):450-462.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The automorphism group and definability of the jump operator in the $$\omega $$ ω -enumeration degrees.Hristo Ganchev & Andrey C. Sariev - 2021 - Archive for Mathematical Logic 60 (7):909-925.
    In the present paper, we show the first-order definability of the jump operator in the upper semi-lattice of the \-enumeration degrees. As a consequence, we derive the isomorphicity of the automorphism groups of the enumeration and the \-enumeration degrees.
    Download  
     
    Export citation  
     
    Bookmark