Computable numerations of morphisms

DOI10.1007/BF02219730MaRDI QIDQ1220920zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

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

Cited in

(1)

• Generalized Banach-Mazur functionals in the topos of recursive sets

This page was built for publication: Computable numerations of morphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1220920)