|
Сибирский математический журнал, 1977, том 18, номер 5, страницы 1002–1014
(Mi smj3978)
|
|
|
|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
О нумерациях простых моделей
Б. Н. Дроботун
Аннотация:
В работе изучается зависимость сложности элементарной теории $\operatorname{Th}_1(\mathfrak{M};\nu)$ простой модели $\mathfrak{M}$ полной разрешимой теории $T$ от строения этой теории. Как известно, простая модель полной разрешимой теории не всегда обладает конструктивизацией. Тем не менее, как показано в настоящей статье, всегда существует такая нумерация $\nu$ простой модели $\mathfrak{M}$ полной разрешимой теории, что проблема разрешимости $\operatorname{Th}_1(\mathfrak{M};\nu)$ принадлежит $\Delta_2^0$ и эта оценка в некотором смысле точна.
Статья поступила: 02.07.1976
Образец цитирования:
Б. Н. Дроботун, “О нумерациях простых моделей”, Сиб. матем. журн., 18:5 (1977), 1002–1014; Siberian Math. J., 18:5 (1977), 707–716
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj3978 https://www.mathnet.ru/rus/smj/v18/i5/p1002
|
Статистика просмотров: |
Страница аннотации: | 53 | PDF полного текста: | 13 |
|