|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
Трансляционный результат для расширений арифметики Пресбургера одноместной функцией, согласованной со сложением
С. М. Дудаков Тверской государственный университет
Аннотация:
Ранее О. В. Белеградек, А. П. Столбоушкин и М. А. Тайцлин
доказали, что в теории натуральных чисел со сложением
имеет место трансляционный результат, т.е. каждый
локально генерический запрос с использованием сложения
может быть записан и без его использования. В этой статье
мы, используя достаточные условия трансляционного
результата, полученные Тайцлиным, доказываем, что он имеет
место в любых расширениях арифметики Пресбургера
одноместной согласованной со сложением функцией. Понятие
согласованной со сложением функции предложено
А. Л. Семёновым.
Библиография: 6 названий.
Поступило: 05.02.2002 Исправленный вариант: 28.08.2003
Образец цитирования:
С. М. Дудаков, “Трансляционный результат для расширений арифметики Пресбургера одноместной функцией, согласованной со сложением”, Матем. заметки, 76:3 (2004), 362–371; Math. Notes, 76:3 (2004), 339–347
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm110https://doi.org/10.4213/mzm110 https://www.mathnet.ru/rus/mzm/v76/i3/p362
|
Статистика просмотров: |
Страница аннотации: | 399 | PDF полного текста: | 198 | Список литературы: | 60 | Первая страница: | 2 |
|