S. A. Volkov
An example of a simple quasi-universal function in the class ε
2 of the Grzegorczyk hierarchy
We give an example of a quasi-universal function in the class ε
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 ε
2.
Discrete Mathematics and Applications, Walter de Gruyter
Print ISSN: 0924-9266
Volume: 16, 09/2006
Pages: 513 - 526
Show full article (external site)
Show all available items of this journal