|
Записки научных семинаров ПОМИ, 2010, том 377, страницы 50–54
(Mi znsl3813)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Representation theorems for r.e. sets and a conjecture related to Poonen's larges subring of $\mathbb Q$
[Теоремы о представимости рекурсивно-перечислимых множеств и одна гипотеза, связанная с описанным Пуненым “большим” подкольцом поля $\mathbb Q$]
M. Davisab a Courant Inst., NYU
b Visting Scholar, Univ. Calif. Berkeley
Аннотация:
Отметив, что результаты об алгоритмической неразрешимости различных проблем часто удается усилить, доказав новую теорему о представимости рекурсивно-перечислимых множеств, мы показываем, что анализ доказательства неразрешимости 10-ой проблемы Гильберта над построенным Б. Пуненым “большим” подкольцом поля $\mathbb Q$ позволяет доказать теоремы о представимости р.п. множеств, приводящую к новой гипотезе о простых множествах. Из этой гипотезы следует, в частности, неразрешимость 10-ой проблемы Гильберта над $\mathbb Q$. Библ. – 7 назв.
Ключевые слова:
простое множество, Пунен, 10-ая проблема Гильберта над полем рациональных чисел.
Поступило: 10.05.2010
Образец цитирования:
M. Davis, “Representation theorems for r.e. sets and a conjecture related to Poonen's larges subring of $\mathbb Q$”, Исследования по теории чисел. 10, Зап. научн. сем. ПОМИ, 377, ПОМИ, СПб., 2010, 50–54; J. Math. Sci. (N. Y.), 171:6 (2010), 728–730
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl3813 https://www.mathnet.ru/rus/znsl/v377/p50
|
Статистика просмотров: |
Страница аннотации: | 153 | PDF полного текста: | 53 | Список литературы: | 55 |
|