On decomposition of Gödelnumberings into Friedbergnumberings

From MaRDI portal

Revision as of 12:42, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5896235

Jump to:navigation, search

DOI10.2307/2273141zbMath0533.03027OpenAlexW2026269944MaRDI QIDQ5896235

Britta Schinzel

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

zbMATH Keywords

partial recursive functions direct sum decompositions Gödel numberings category of enumerations Friedberg numberings

Mathematics Subject Classification ID

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

Related Items (1)

A note on direct sums of Friedbergnumberings

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5896235&oldid=16544225"