Diamond embeddings into the enumeration degrees

DOI10.1017/S0960129510000216zbMATH Open1220.03041OpenAlexW2093499799MaRDI QIDQ3060191FDOQ3060191

Authors: Andrea Sorbi, Yue Yang, Guohua Wu 

Publication date: 1 December 2010

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129510000216

Recommendations

• Embedding the diamond in the Σ₂ enumeration degrees
• Array nonrecursive degrees and lattice embeddings of the diamond
• scientific article; zbMATH DE number 2063233
• Embedding the Diamond Lattice in the Recursively Enumerable Truth-Table Degrees
• Publication:4863245
• scientific article; zbMATH DE number 4125387
• Lattice embeddings into the recursively enumerable degrees
• scientific article; zbMATH DE number 3939344
• Embedding finite lattices into the Σ₂⁰ enumeration degrees
• Lattice embeddings into the recursively enumerable degrees. II

zbMATH Keywords

diamond latticeenumeration degree

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30)

Cites Work

• Partial degrees and the density problem. Part 2: The enumeration degrees of the Σ₂ sets are dense
• Some Special Pairs of Σ2 e-Degrees
• On minimal pairs of enumeration degrees
• Lower Bounds for Pairs of Recursively Enumerable Degrees
• Embedding the diamond in the Σ₂ enumeration degrees
• Branching in the enumeration degrees of the \(\Sigma_2^0\) sets
• Embedding finite lattices into the Σ₂⁰ enumeration degrees
• High Minimal Pairs in the Enumeration Degrees

Cited In (8)

• Diamond lattice embedded into d.r.e. degrees
• Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms
• High Minimal Pairs in the Enumeration Degrees
• Embedding distributive lattices in the \(\Sigma ^0_2\) enumeration degrees
• Initial segments of the \({\Sigma}_2^0\) enumeration degrees
• A superhigh diamond in the c.e. tt-degrees
• Title not available (Why is that?)
• On diamond sequences

This page was built for publication: Diamond embeddings into the enumeration degrees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3060191)