|
Сибирский математический журнал, 1977, том 18, номер 2, страницы 403–418
(Mi smj3937)
|
|
|
|
Эта публикация цитируется в 45 научных статьях (всего в 46 статьях)
Пресбургеровость предикатов, регулярных в двух системах счисления
А. Л. Семенов
Аннотация:
Теоретико-числовой предикат называется регулярным в системе счисления с основанием $p$, если он выразим в теории первого порядка со следующими элементарными предикатами: $p$-ичная запись числа $x$ оканчивается на данную $p$-ичную цифру (для всех $p$-ичных цифр), длины $p$-ичных записей чисел $x$ и $y$ совпадают, $p$-ичная запись числа $x$ является началом $p$-ичной записи числа $y$. Теоретико-числовой предикат называется пресбургеровым, если он выразим в теории первого порядка сложения натуральных чисел.
В работе доказывается пресбургеровостъ всякого предиката, регулярного в двух системах счисления с мультипликативно независимыми основаниями.
Статья поступила: 12.03.1975
Образец цитирования:
А. Л. Семенов, “Пресбургеровость предикатов, регулярных в двух системах счисления”, Сиб. матем. журн., 18:2 (1977), 403–418; Siberian Math. J., 18:2 (1977), 289–300
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj3937 https://www.mathnet.ru/rus/smj/v18/i2/p403
|
Статистика просмотров: |
Страница аннотации: | 118 | PDF полного текста: | 40 |
|