Lattice embeddings into the recursively enumerable degrees

DOI10.2307/2274050MaRDI QIDQ3770516zbMATHOpenAlexFDO

Authors Klaus Ambos-Spies, Manuel Lerman

Publication date 1986

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274050

zbMATH Keywords

embeddingsfinite latticesrecursively enumerable degreesnonembeddability theoremuppersemilattice

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25)

Recommendations

• Lattice embeddings into the recursively enumerable degrees. II
• Lattice embeddings below a nonlow\(_ 2\) recursively enumerable degree
• Publication:4863245
• scientific article; zbMATH DE number 4125387
• Embedding finite lattices into the Σ₂⁰ enumeration degrees
• Lattice Embeddings in the Recursively Enumerable Truth Table Degrees
• Publication:4934976
• Lattice nonembeddings and intervals of the recursively enumerable degrees
• Lattice embeddings and array noncomputable degrees
• Embedding finite lattices into the computably enumerable degrees -- a status survey

Cited in

(32)

• Non-p-generic and strongly nonbranching degree
• Non-p-generic and strongly nonbranching degree
• Lattice embeddings below a nonlow\(_ 2\) recursively enumerable degree
• Diamond embeddings into the enumeration degrees
• A finite lattice without critical triple that cannot be embedded into the enumerable Turing degrees
• A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees
• scientific article; zbMATH DE number 749917 (Why is no real title available?)
• Lowness for isomorphism, countable ideals, and computable traceability
• Turing computability: structural theory
• The Lattice of Computably Enumerable Vector Spaces
• Lattice nonembeddings and initial segments of the recursively enumerable degrees
• A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees preserving greatest element
• Structural theory of degrees of unsolvability: advances and open problems
• Embedding finite lattices into the ideals of computably enumerable turing degrees
• Degree Structures: Local and Global Investigations
• On the existence of a strong minimal pair
• The distribution of the generic recursively enumerable degrees
• Intervals and sublattices of the r.e. weak truth table degrees. I: Density
• Initial segments of the lattice of ideals of r.e. degrees
• A necessary and sufficient condition for embedding ranked finite partial lattices into the computably enumerable degrees
• scientific article; zbMATH DE number 4160711 (Why is no real title available?)
• Lattice embeddings and array noncomputable degrees
• scientific article; zbMATH DE number 3939344 (Why is no real title available?)
• The role of true finiteness in the admissible recursively enumerable degrees
• scientific article; zbMATH DE number 841089 (Why is no real title available?)
• Embedding linkages on an integer lattice
• Splitting theorems in recursion theory
• Lattice nonembeddings and intervals of the recursively enumerable degrees
• Lattice Embeddings in the Recursively Enumerable Truth Table Degrees
• Lattice embeddings into the recursively enumerable degrees. II
• scientific article; zbMATH DE number 1531929 (Why is no real title available?)
• On the embedding of distributive lattices into recursive polynomial degrees

This page was built for publication: Lattice embeddings into the recursively enumerable degrees

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