|
Алгебра и логика, 2001, том 40, номер 2, страницы 202–217
(Mi al217)
|
|
|
|
О замкнутых классах финально периодических функций
А. П. Семигродских
Аннотация:
Вводится понятие рекурсивно замкнутого класса и дается описание рекурсивно замкнутых классов, порожденных константами. Данные классы входят в некоторое частично упорядоченное множество, “пронизывающее” решетку всех замкнутых по суперпозиции классов, состоящих из примитивно рекурсивных функций. При описании рекурсивно замкнутых классов, порожденных константами, вводится понятие финально периодической функции, обобщающее понятие периодической функции. Основным результатом является теорема о том, что рекурсивно замкнутый класс, порожденный множеством из $n$ констант, совпадает с классом всех принимающих значения из этого множества финально периодических функций, периоды которых делят натуральные степени числа $n!$. В качестве следствия получается описание рекурсивно замкнутых классов, порожденных бесконечными множествами констант. В частности, оказывается, что рекурсивно замкнутый класс, порожденный всеми константами, совпадает с классом всех финально периодических функций.
Ключевые слова:
финально периодическая функция, рекурсивно замкнутый класс.
Поступило: 20.08.1999
Образец цитирования:
А. П. Семигродских, “О замкнутых классах финально периодических функций”, Алгебра и логика, 40:2 (2001), 202–217; Algebra and Logic, 40:2 (2001), 112–121
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al217 https://www.mathnet.ru/rus/al/v40/i2/p202
|
|