RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

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

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



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






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


Зап. научн. сем. ПОМИ, 2010, том 377, страницы 78–90 (Mi znsl3816)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Towards finite-fold Diophantine representations

[К конечнократным диофантовым представлениям]

Yu. Matiyasevich

St. Petersburg Department of the Steklov Mathematical Institute, St. Petersburg, Russia

Аннотация: Замечательная теорема, доказанная Мартином Дейвисом, Хилари Патнамом и Джулией Робинсон в 1961 году, утверждает, что у каждого эффективно перечислимого множества натуральных чисел существует экспоненциально диофантово представление. Эта теорема была усилена автором в двух направлениях:
до существования диофантова представления,
до существования так называемого однократного экспоненциально диофантова представления.
Однако до сих пор неизвестно, могут ли этих два усиления быть объединены, то есть верно ли, что каждое эффективно перечислимое множество имеет однократное (или по крайней мере конечнократное) диофантово представление.
В статье обсуждаются известные результаты об однократных экспоненциально диофантовых представлениях, их применения, возможные подходы к усилению для случая диофантовых представлений, а также, какие следствия можно получить из невозможности такого усиления. Библ. – 27 назв.

Ключевые слова: однократные диофантовы представления, диофантовы уравнения с конечным числом решений.

Полный текст: PDF файл (606 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Journal of Mathematical Sciences (New York), 2010, 171:6, 745–752

Реферативные базы данных:

Тип публикации: Статья
УДК: 511.5+510.53
Поступило: 10.05.2010
Язык публикации: английский

Образец цитирования: Yu. Matiyasevich, “Towards finite-fold Diophantine representations”, Исследования по теории чисел. 10, Зап. научн. сем. ПОМИ, 377, ПОМИ, СПб., 2010, 78–90; J. Math. Sci. (N. Y.), 171:6 (2010), 745–752

Цитирование в формате AMSBIB
\RBibitem{Mat10}
\by Yu.~Matiyasevich
\paper Towards finite-fold Diophantine representations
\inbook Исследования по теории чисел.~10
\serial Зап. научн. сем. ПОМИ
\yr 2010
\vol 377
\pages 78--90
\publ ПОМИ
\publaddr СПб.
\mathnet{http://mi.mathnet.ru/znsl3816}
\transl
\jour J. Math. Sci. (N. Y.)
\yr 2010
\vol 171
\issue 6
\pages 745--752
\crossref{https://doi.org/10.1007/s10958-010-0179-4}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-78650073333}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/znsl3816
  • http://mi.mathnet.ru/rus/znsl/v377/p78

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. Tyszka A., “Mupad Codes Which Implement Limit-Computable Functions That Cannot Be Bounded By Any Computable Function”, Federated Conference on Computer Science and Information Systems, 2014, Acsis-Annals of Computer Science and Information Systems, 2, IEEE, 2014, 623–629  crossref  isi  scopus
  • Записки научных семинаров ПОМИ
    Просмотров:
    Эта страница:290
    Полный текст:95
    Литература:34
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020