Computable numerations of morphisms

DOI10.1007/BF02219730zbMath0315.02041OpenAlexW2073417322MaRDI QIDQ1220920

Yuri L. Ershov

Publication date: 1972

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

Full work available at URL: https://doi.org/10.1007/bf02219730

Mathematics Subject Classification ID

Special categories (18B99) Recursively (computably) enumerable sets and degrees (03D25)

Related Items (1)

Generalized Banach-Mazur functionals in the topos of recursive sets

Cites Work

• STANDARD CLASSES OF RECURSIVELY ENUMERABLE SETS
• On the indexing of classes of recursively enumerable sets

This page was built for publication: Computable numerations of morphisms