Embedding the diamond in the Σ2 enumeration degrees
From MaRDI portal
Publication:3981454
DOI10.2307/2274914zbMath0741.03023OpenAlexW2165579787MaRDI QIDQ3981454
Publication date: 26 June 1992
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274914
Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30)
Related Items (10)
Embedding finite lattices into the Σ20 enumeration degrees ⋮ Strong enumeration reducibilities ⋮ Total Degrees and Nonsplitting Properties of $\Sigma_2^0$ Enumeration Degrees ⋮ Splitting and nonsplitting in the \(\Sigma_2^0\) enumeration degrees ⋮ Branching in the \({\Sigma^0_2}\)-enumeration degrees: a new perspective ⋮ Diamond embeddings into the enumeration degrees ⋮ Cupping and noncupping in the enumeration degrees of \(\Sigma_ 2^ 0\) sets ⋮ The Π3-theory of the -enumeration degrees is undecidable ⋮ Branching in the enumeration degrees of the \(\Sigma_2^0\) sets ⋮ Splitting properties of n-c.e. enumeration degrees
Cites Work
This page was built for publication: Embedding the diamond in the Σ2 enumeration degrees