|
Сибирские электронные математические известия, 2008, том 5, страницы 200–210
(Mi semr100)
|
|
|
|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
Статьи
Индексные множества простых моделей
Е. Н. Павловский Новосибирский государственный университет, механико-математический факультет
Аннотация:
We prove that for every nontrivial language $\sigma$, the index set of the class of $d$-decidable prime computable models of $\sigma$ is $\Sigma_3^{0,d}\setminus\Sigma_3^{0,d}$-complete and that the
index set of all prime computable models of $\sigma$ is $\Pi_{\omega+2}^0$-complete.
Ключевые слова:
prime model, computable model, index sets, model-theoretic constructions, hyperarithmetic hierarchy.
Поступила 14 февраля 2008 г., опубликована 5 мая 2008 г.
Образец цитирования:
Е. Н. Павловский, “Индексные множества простых моделей”, Сиб. электрон. матем. изв., 5 (2008), 200–210
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr100 https://www.mathnet.ru/rus/semr/v5/p200
|
Статистика просмотров: |
Страница аннотации: | 239 | PDF полного текста: | 76 | Список литературы: | 61 |
|