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

АННОТАЦИИ

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