Loading [MathJax]/jax/output/SVG/config.js
Математические заметки
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Скоро в журнале
Архив
Импакт-фактор
Правила для авторов
Лицензионный договор
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Матем. заметки:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Математические заметки, 2004, том 76, выпуск 3, страницы 362–371
DOI: https://doi.org/10.4213/mzm110 (Mi mzm110) 		 
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)

Трансляционный результат для расширений арифметики Пресбургера одноместной функцией, согласованной со сложением

С. М. Дудаков

Тверской государственный университет
PDF полного текста (215 kB) Список цитирования (5)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.4213/mzm110
Аннотация: Ранее О. В. Белеградек, А. П. Столбоушкин и М. А. Тайцлин доказали, что в теории натуральных чисел со сложением имеет место трансляционный результат, т.е. каждый локально генерический запрос с использованием сложения может быть записан и без его использования. В этой статье мы, используя достаточные условия трансляционного результата, полученные Тайцлиным, доказываем, что он имеет место в любых расширениях арифметики Пресбургера одноместной согласованной со сложением функцией. Понятие согласованной со сложением функции предложено А. Л. Семёновым.
Библиография: 6 названий.
Поступило: 05.02.2002
Исправленный вариант: 28.08.2003
Англоязычная версия:
Mathematical Notes, 2004, Volume 76, Issue 3, Pages 339–347
DOI: https://doi.org/10.1023/B:MATN.0000043461.68759.1d
Реферативные базы данных:
УДК: 510.652
Образец цитирования: С. М. Дудаков, “Трансляционный результат для расширений арифметики Пресбургера одноместной функцией, согласованной со сложением”, Матем. заметки, 76:3 (2004), 362–371; Math. Notes, 76:3 (2004), 339–347
Цитирование в формате AMSBIB
\RBibitem{Dud04}
\by С.~М.~Дудаков
\paper Трансляционный результат для расширений арифметики Пресбургера одноместной функцией, согласованной со сложением
\jour Матем. заметки
\yr 2004
\vol 76
\issue 3
\pages 362--371
\mathnet{http://mi.mathnet.ru/mzm110}
\crossref{https://doi.org/10.4213/mzm110}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2113079}
\zmath{https://zbmath.org/?q=an:1080.03022}
\elib{https://elibrary.ru/item.asp?id=14320564}
\transl
\jour Math. Notes
\yr 2004
\vol 76
\issue 3
\pages 339--347
\crossref{https://doi.org/10.1023/B:MATN.0000043461.68759.1d}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000224874900005}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-5044232915}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mzm110
  • https://doi.org/10.4213/mzm110
  • https://www.mathnet.ru/rus/mzm/v76/i3/p362
    • Эта публикация цитируется в следующих 5 статьяx:
    1. Sergey M. Dudakov, “On inflationary fix-point operators safety”, Lobachevskii J Math, 36:4 (2015), 328  crossref
    2. С. М. Дудаков, “Монадические состояния над упорядоченным универсальным случайным графом и конечные автоматы”, Изв. РАН. Сер. матем., 75:5 (2011), 47–64  mathnet  crossref  mathscinet  zmath  adsnasa  elib; S. M. Dudakov, “Monadic structures over an ordered universal random graph and finite automata”, Izv. Math., 75:5 (2011), 915–932  crossref  isi  elib
    3. С. М. Дудаков, “Достаточные условия эффективной трансляции локально генерических запросов”, Фундамент. и прикл. матем., 15:5 (2009), 49–61  mathnet  mathscinet  elib; S. M. Dudakov, “Sufficient conditions for effective translation of locally generic queries”, J. Math. Sci., 172:5 (2011), 654–662  crossref
    4. С. М. Дудаков, “Псевдоконечная однородность, изолированность и сводимость”, Матем. заметки, 81:4 (2007), 515–527  mathnet  crossref  mathscinet  zmath  elib; S. M. Dudakov, “Pseudofinite Homogeneity, Isolation, and Reducibility”, Math. Notes, 81:4 (2007), 456–466  crossref  isi  elib
    5. С. М. Дудаков, М. А. Тайцлин, “Трансляционные результаты для языков запросов в теории баз данных”, УМН, 61:2(368) (2006), 3–66  mathnet  crossref  mathscinet  zmath  adsnasa  elib; S. M. Dudakov, M. A. Taitslin, “Collapse results for query languages in database theory”, Russian Math. Surveys, 61:2 (2006), 195–253  crossref  isi  elib
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математические заметки Mathematical Notes
    Статистика просмотров:
    Страница аннотации:429
    PDF полного текста:206
    Список литературы:70
    Первая страница:2
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025