Алгебра и логика,
1981, том 20, номер 4, страницы 389–394
(Mi al1734)
|
Эта публикация цитируется в
1 статье
Неразрешимость регулярно замкнутых полей
Ю. Л. Ершов
Аннотация:
Приводится доказательство теоремы о неразрешимости элементарной теории регулярно замкнутых полей.
УДК:
518.5
Поступило: 29.04.1981
Реферативные базы данных:
© , 2024
Полный текст:
PDF файл (1973 kB)