|
Алгебра и логика, 1996, том 35, номер 5, страницы 503–528
(Mi al2365)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 3 статьях)
Хорошие локально-глобальные поля. II
Ю. Л. Ершов
Аннотация:
Устанавливается разрешимость элементарной теории классов полей $m$NLGF, $f$NLGF и $u$NLGF, введенных в рассмотрение в первой части данной работы (см. Алгебра и логика, 35, N 4 (1996), 411–423). Там была показана рекурсивная аксиоматизируемость этих теорий. Поэтому для доказательства разрешимости достаточно проверить рекурсивную перечислимость множества предложений сигнатуры $\sigma_f$ теории полей, выполнимых на полях из классов $m$NLGF, $f$NLGF и $u$NLGF.
Поступило: 14.02.1996
Образец цитирования:
Ю. Л. Ершов, “Хорошие локально-глобальные поля. II”, Алгебра и логика, 35:5 (1996), 503–528
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2365 https://www.mathnet.ru/rus/al/v35/i5/p503
|
Статистика просмотров: |
Страница аннотации: | 71 | PDF полного текста: | 15 |
|