Hereditarily effective operations

DOI10.1007/BF01877480zbMath0382.03027MaRDI QIDQ1247963

Yuri L. Ershov

Publication date: 1978

Published in: Algebra and Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Computability and recursion theory (03D99)

Related Items (1)

On the ubiquity of certain total type structures

Cites Work

• Unnamed Item
• Theorems of the Prüfer-Kulikov type
• On computable enumerations. I

This page was built for publication: Hereditarily effective operations