Definable structures in the lattice of recursively enumerable sets

DOI10.2307/2274271zbMath0579.03026OpenAlexW1977129096MaRDI QIDQ3701408

No author found.

Publication date: 1984

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

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

zbMATH Keywords

elementary definability

Mathematics Subject Classification ID

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

Related Items

Maximal theories, Algorithmic complexity of algebraic systems, Completeness in the arithmetical hierarchy and fixed points

Cites Work

• Recursively enumerable sets and degrees
• Unnamed Item