Correction to ``Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures

DOI10.1016/0168-0072(90)90025-WzbMath0713.03022OpenAlexW2027845361MaRDI QIDQ749526

Rodney G. Downey

Publication date: 1990

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(90)90025-w

zbMATH Keywords

lifting propertylattices of r.e. substructureslocal exchange propertyr-maximal set

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Theory of numerations, effectively presented structures (03D45)

Related Items

The Lattice of Computably Enumerable Vector Spaces ⋮ Invariance in ℰ* and ℰ_{Π} ⋮ Degree invariance in the Π₁⁰classes ⋮ More undecidable lattices of Steinitz exchange systems

Cites Work

• Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures
• Automorphisms of the lattice of recursively enumerable sets. Part II: Low sets
• Characterization of Recursively Enumerable Sets with Supersets Effectively Isomorphic to all Recursively Enumerable Sets