Publication:3679164
From MaRDI portal
zbMath0565.03018MaRDI QIDQ3679164
Publication date: 1983
Gödel numbering; identification in the limit; numbered set; general recursive functions; singular partial recursive functions
03D20: Recursive functions and relations, subrecursive hierarchies
03D45: Theory of numerations, effectively presented structures
Related Items
Inductive inference of recursive functions: Qualitative theory, Anomalous learning helps succinctness, Program size restrictions in computational learning