|
Сибирский математический журнал, 2002, том 43, номер 6, страницы 1222–1234
(Mi smj1365)
|
|
|
|
Интенсиональность, рефлексия, большие кардиналы
Н. В. Белякинa, В. А. Гановb a Институт математики им. С. Л. Соболева СО РАН
b Московский государственный университет культуры и искусств, Алтайский филиал
Аннотация:
Исследуются дедуктивные возможности аксиоматических систем в языке множеств и классов с принципом рефлексии, распространенным на все формулы, не содержащие классовых кванторов. Их характерная особенность состоит в том, что не все множества являются классами. Предлагается способ построения моделей для этих систем и устанавливается связь с большими кардиналами.
Ключевые слова:
множество, класс, рефлексия, интенсиональность, недостижимые кардиналы, кардиналы Мало, согласованный выбор.
Статья поступила: 13.03.2000 Окончательный вариант: 15.10.2002
Образец цитирования:
Н. В. Белякин, В. А. Ганов, “Интенсиональность, рефлексия, большие кардиналы”, Сиб. матем. журн., 43:6 (2002), 1222–1234; Siberian Math. J., 43:6 (2002), 985–994
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj1365 https://www.mathnet.ru/rus/smj/v43/i6/p1222
|
|