Decomposition of Gödelnumberings into Friedbergnumberings

DOI10.1002/MALQ.19770232505zbMath0439.03020OpenAlexW1991714654MaRDI QIDQ3880823

Britta Schinzel

Publication date: 1977

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19770232505

zbMATH Keywords

decompositionGödel numberingFriedberg numbering

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (1)

Computable one-to-one enumerations of effective domains

This page was built for publication: Decomposition of Gödelnumberings into Friedbergnumberings