A note on direct sums of Friedbergnumberings

DOI10.2307/2274760zbMath0682.03023OpenAlexW2037223189MaRDI QIDQ4731177

No author found.

Publication date: 1989

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

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

zbMATH Keywords

Gödel numberingr.e. family of Friedberg numberings

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Theory of numerations, effectively presented structures (03D45)

Related Items (2)

Control structures in hypothesis spaces: The influence on learning ⋮ Some applications of computable one-one numberings

Cites Work

• On decomposition of Gödelnumberings into Friedbergnumberings

This page was built for publication: A note on direct sums of Friedbergnumberings