|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Белякин Н. В., Ганов В. А. Интенсиональность, рефлексия, большие кардиналы //
Том 43 (2002), Номер 6,
стр. 12221234
Исследуются дедуктивные возможности аксиоматических систем в языке множеств и классов с принципом рефлексии, распространенным на все формулы, не содержащие классовых кванторов. Их характерная особенность состоит в том, что {\it не все} множества являются классами. Предлагается способ построения моделей для этих систем и устанавливается связь с большими кардиналами.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|