On decomposition of Gödelnumberings into Friedbergnumberings
From MaRDI portal
Publication:5896235
DOI10.2307/2273141zbMath0533.03027MaRDI QIDQ5896235
Publication date: 1982
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273141
partial recursive functions; direct sum decompositions; Gödel numberings; category of enumerations; Friedberg numberings
03D20: Recursive functions and relations, subrecursive hierarchies
03D45: Theory of numerations, effectively presented structures
Related Items