A property of enumerable sets containing complexly deducible formulas
From MaRDI portal
Publication:2557692
DOI10.1007/BF01117479zbMath0253.02038MaRDI QIDQ2557692
Publication date: 1973
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
Applications of computability and recursion theory (03D80) Recursively (computably) enumerable sets and degrees (03D25)
Related Items (1)
Cites Work
This page was built for publication: A property of enumerable sets containing complexly deducible formulas