СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

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