RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 2001, том 40, номер 4, страницы 484–499 (Mi al232)

Эта публикация цитируется в 5 статьях

О квазирезольвентных моделях и $B$-моделях

А. Н. Хисамиев


Аннотация: Установливаются соотношения между классами резольвентных, квазирезольвентных, внутренне перечислимых моделей и $B$-моделей. Доказывается, что любой линейный порядок, содержащий $\Delta$-подмножество, изоморфное $\omega$ или $\omega^-$, не является квазирезольвентным. Устанавливается, что любая модель счетно-категоричной теории является $B$-моделью. Доказывается, что для любой $B$-модели в наследственно конечном допустимом множестве не имеет места теорема об униформизации.

Ключевые слова: резольвентная модель, квазирезольвентная модель, внутренне перечислимая модель, $B$-модель, счетно-категоричная теория, наследственно конечное допустимое множество, теорема об униформизации.

УДК: 510.5+510.68

Поступило: 12.12.1999


 Англоязычная версия: Algebra and Logic, 2001, 40:4, 272–280

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


© МИАН, 2024