Abstract
The formal system S1 is considered in the language of set theory with an extremely strong reflection principle. It is proved that the principle is incompatible with the Gödel-Bernays theory. In S1, however, we drop the assumption that each set is a class, and replace it by a weaker statement through which the consistency of S1 seems somewhat credible. In this system, all theorems ZF, as well as some statements on the existence of large cardinals, are provable. It is also shown that if S1 is consistent then it is compatible with the constructibility axiom.
Similar content being viewed by others
References
T. Jech,Lectures in Set Theory, Springer, Berlin (1971).
A. C. Nudel'man, “A refinement of the ‘naive’ set theory by G. Cantor,” inLogical Methods in Programming, Computer Systems, 133, Novosibirsk (1990), pp. 153–185.
P. J. Cohen,Set Theory and the Continuum Hypothesis, Benjamin, New York (1966).
Additional information
Translated fromAlgebra i Logika, Vol. 37, No. 2, pp. 127–143, March–April, 1998.
Rights and permissions
About this article
Cite this article
Ganov, V.A. The frames of application of the reflection principle. Algebr Logic 37, 69–77 (1998). https://doi.org/10.1007/BF02671593
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02671593