Алгебра и логика,
1974, том 13, номер 1, страницы 5–8
(Mi al1409)
|
Эта публикация цитируется в
3 статьях
Три теоремы об элементарных теориях и $tt$-сводимости
С. Д. Денисов
Аннотация:
Теорема 1. а)
$\mathcal{Th}(P_{2}K^{\prime})=\mathcal{Th}(P_{2}K^{\prime\prime})\Longleftrightarrow
\mathcal{Th}(K^{\prime})=\mathcal{Th}(K^{\prime\prime})$;
б)
$\mathcal{Th}(P_{2}K)\equiv_{m}\mathcal{Th}(K)$, где
$K$ — поле.
Теорема 2. Совокупность формул, порождающих разрешимую теорию, универсальна
в
$\Sigma^{0}_{3}$.
Теорема 3. Совершенное множество таблично не сводится к гипериммунному.
УДК:
517.11:518.5
Поступило: 11.12.1973
Реферативные базы данных:
© , 2024