Iterated Quotients of the Lattice of Recursively Enumerable Sets
From MaRDI portal
Publication:4405149
DOI10.1112/plms/s3-28.1.1zbMath0278.02035OpenAlexW2103192548MaRDI QIDQ4405149
Publication date: 1974
Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/plms/s3-28.1.1
Decidability of theories and sets of sentences (03B25) Recursively (computably) enumerable sets and degrees (03D25) Computability and recursion theory (03D99) Hierarchies of computability and definability (03D55)
Related Items
Duality, non-standard elements, and dynamic properties of r.e. sets ⋮ Embedding relations in the lattice of recursively enumerable sets
This page was built for publication: Iterated Quotients of the Lattice of Recursively Enumerable Sets