|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Морозов А. С. Еще раз о счетно-категоричных предложениях //
Том 40 (1999), Номер 2,
стр. 434438
Работа содержит три утверждения о счетно-категоричных предложениях бесконечной логики. Первое из них~--- это расширенный критерий счетной категоричности, указывающий на связь синтаксической полноты и категоричности, а также на роль предложений Скотта; второе содержит пример не счетно-категоричного предложения, имеющего единственную гиперарифметическую модель; в третьем получена оценка сложности множества счетно-категоричных предложений в допустимом фрагменте над $\operatorname{HYP}_\omega$. Библиогр.~7.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|