RUS  ENG
Full version
JOURNALS // Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika // Archive

Izv. Vyssh. Uchebn. Zaved. Mat., 2016 Number 12, Pages 96–100 (Mi ivm9190)

This article is cited in 2 papers

Brief communications

Universal computable enumerations of finite classes of families of total functions

M. Kh. Faizrakhmanov

Kazan (Volga Region) Federal University, 18 Kremlyovskaya str., Kazan, 420008 Russia

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


 English version:
Russian Mathematics (Izvestiya VUZ. Matematika), 2016, 60:12, 79–83

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024