О гипотезе Д. Скордева

Пусть $B$ — не более чем счетное множество. В $B$ можно ввести вычислимость в смысле Московакиса, а также вычислимость, связанную с нумерацией и частичной рекурсивностью, которая введена Д. Скордевым и названа допустимостью. Доказывается, что если $\varphi: B^k\to\!\!\!\!\!\!\!\circ\ \ B$, $\psi_i: B^{k_i}\to B$, $\psi_i$ всюду определены на $B^{k_i}$, $i=1,\dots,\ell$, и $\varphi$ допустима относительно $\psi_1,\dots,\psi_{\ell}$, то $\varphi$ вычислима относительно $\psi_1,\dots,\psi_{\ell}$. Этим подтверждена гипотеза Д. Скордева в одном частном случае.