|
Математические заметки, 1987, том 41, выпуск 3, страницы 429–432
(Mi mzm4860)
|
|
|
|
Невозможность конечного порождения частично-рекурсивных функций унарной изотопной операцией
Е. А. Поляков
Аннотация:
Пусть $\mathfrak{L}$ – множество всех одноместных частично-рекурсивных функций. Доказано, что не существует эффективной унарной операции $F$ на $\mathfrak{L}$ такой, чтобы алгебра $\langle\mathfrak{L};F\rangle$ имела бы конечный базис. Строятся две унарные эффективные операции $F_1$ и $F_2$ такие, что алгебра $\langle\mathfrak{L};f_1,F_2\rangle$ имеет одноэлементный базис. Строится также эффективная бинарная операция $G$ такая, что алгебра $\langle\mathfrak{L};G\rangle$ имеет одноэлементный базис.
Библиогр. 2 назв.
Поступило: 12.12.1985
Образец цитирования:
Е. А. Поляков, “Невозможность конечного порождения частично-рекурсивных функций унарной изотопной операцией”, Матем. заметки, 41:3 (1987), 429–432; Math. Notes, 41:3 (1987), 245–247
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm4860 https://www.mathnet.ru/rus/mzm/v41/i3/p429
|
Статистика просмотров: |
Страница аннотации: | 180 | PDF полного текста: | 64 | Первая страница: | 1 |
|