An example of a~simple quasi-universal function in the class $\mathcal E^2$ of the Grzegorczyk hierarchy
Diskretnaya Matematika, Tome 18 (2006) no. 4, pp. 31-44
Voir la notice de l'article provenant de la source Math-Net.Ru
We give an example of a quasi-universal function in the class $\mathcal E^2$ of the Grzegorczyk hierarchy. This function is of very simple structure and does not contain an explicit enumeration of any Turing machine. As a corollary we obtain a simple basis over superposition in the class $\mathcal E^2$.
@article{DM_2006_18_4_a3,
author = {S. A. Volkov},
title = {An example of a~simple quasi-universal function in the class $\mathcal E^2$ of the {Grzegorczyk} hierarchy},
journal = {Diskretnaya Matematika},
pages = {31--44},
publisher = {mathdoc},
volume = {18},
number = {4},
year = {2006},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DM_2006_18_4_a3/}
}
TY - JOUR AU - S. A. Volkov TI - An example of a~simple quasi-universal function in the class $\mathcal E^2$ of the Grzegorczyk hierarchy JO - Diskretnaya Matematika PY - 2006 SP - 31 EP - 44 VL - 18 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DM_2006_18_4_a3/ LA - ru ID - DM_2006_18_4_a3 ER -
S. A. Volkov. An example of a~simple quasi-universal function in the class $\mathcal E^2$ of the Grzegorczyk hierarchy. Diskretnaya Matematika, Tome 18 (2006) no. 4, pp. 31-44. http://geodesic.mathdoc.fr/item/DM_2006_18_4_a3/