Abstract:
In the paper we introduce the notion of a computable enumeration of a class of families. We prove a criteria for the existence of uiversal computable enumerations of finite classes of computable families of total functions. In particular, we show that there is a finite computable class of families of total functions without universal computable enumerations.
Keywords:computable enumeration, universal enumeration, class of families, arithmetical enumeration.
UDC:510.54+510.57
Presented by the member of Editorial Board:N. K. Zamov Received: 28.04.2016