|
Сибирский математический журнал, 1999, том 40, номер 2, страницы 434–438
(Mi smj161)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Еще раз о счетно-категоричных предложениях
А. С. Морозов
Аннотация:
Работа содержит три утверждения о счетно-категоричных предложениях бесконечной логики. Первое из них – это расширенный критерий счетной категоричности, указывающий на связь синтаксической полноты и категоричности, а также на роль предложений Скотта; второе содержит пример не счетно-категоричного предложения, имеющего единственную гиперарифметическую модель; в третьем получена оценка сложности множества счетно-категоричных предложений в допустимом фрагменте над $\operatorname{HYP}_\omega$.
Библиогр. 7.
Статья поступила: 09.09.1997
Образец цитирования:
А. С. Морозов, “Еще раз о счетно-категоричных предложениях”, Сиб. матем. журн., 40:2 (1999), 434–438; Siberian Math. J., 40:2 (1999), 374–377
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj161 https://www.mathnet.ru/rus/smj/v40/i2/p434
|
|