RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2008, том 5, страницы 200–210 (Mi semr100)

Эта публикация цитируется в 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.

УДК: 517.1, 519.5

MSC: 03C50, 03C52, 03C57, 03D35

Поступила 14 февраля 2008 г., опубликована 5 мая 2008 г.



Реферативные базы данных:


© МИАН, 2024