Белякин Н. В., Ганов В. А.
Интенсиональность, рефлексия, большие кардиналы

Исследуются дедуктивные возможности аксиоматических систем в языке множеств и классов с принципом рефлексии, распространенным на все формулы, не содержащие классовых кванторов. Их характерная особенность состоит в том, что не все множества являются классами. Предлагается способ построения моделей для этих систем и устанавливается связь с большими кардиналами.

Belyakin N. V., Ganov V. A.
Intensionality, reflection, and large cardinals

We study the deductive capabilities of axiomatic systems in the language of sets and classes with the reflection principle extended to all formulas without class quantifiers. A characteristic feature of these systems consists in the fact that not all sets are classes. We suggest a method for constructing models for these systems and establish a connection with large cardinals.

Полный текст статьи / Full texts:

• PDF file (416 KB)
• PostScript file (823 KB)