|
Sibirskii Matematicheskii Zhurnal, 2002, Volume 43, Number 6, Pages 1222–1234
(Mi smj1365)
|
|
|
|
Intensionality, reflection, and large cardinals
N. V. Beljakina, V. A. Ganovb a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
b Moscow State University of Culture and Arts, Altay Branch
Abstract:
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.
Keywords:
set, class, reflection, intensionality, inaccessible cardinal, Mahlo cardinal, coordinated choice.
Received: 13.03.2000 Revised: 15.10.2002
Citation:
N. V. Beljakin, V. A. Ganov, “Intensionality, reflection, and large cardinals”, Sibirsk. Mat. Zh., 43:6 (2002), 1222–1234; Siberian Math. J., 43:6 (2002), 985–994
Linking options:
https://www.mathnet.ru/eng/smj1365 https://www.mathnet.ru/eng/smj/v43/i6/p1222
|
Statistics & downloads: |
Abstract page: | 404 | Full-text PDF : | 208 |
|