A recursive function coding number theoretic functions

Vesa Halava, Tero Harju, Teemu Pirttimäki

We show that there exists a fixed recursive function $e$ such that for all functions $h:\mathbb{N}\to \mathbb{N}$, there exists an injective function $c_h\colon \mathbb{N}\to…