On the embedding of α-recursive presentable lattices into the α-recursive degrees below 0′

DOI10.2307/2274180zbMath0598.03038OpenAlexW1534211009MaRDI QIDQ3731593

Dongping Yang

Publication date: 1984

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

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

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cites Work

• Unnamed Item
• The upper semi-lattice of degrees of recursive unsolvability
• Some More Minimal Pairs of α‐Recursively Enumerable Degrees
• The recursively enumerable α-degrees are dense
• Recursively enumerable sets and degrees
• The α-finite injury method
• On suborderings of the α-recursively enumerable α-degrees
• Minimal α-degrees
• Some minimal pairs of α-recursively enumerable degrees

This page was built for publication: On the embedding of α-recursive presentable lattices into the α-recursive degrees below 0′