The axiom of reflection

Previous | Up | Next

Article

The axiom of reflection. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 1, pp. 87-111

MSC: 02H13, 02H20, 02K10, 02K99, 03C20, 03E65, 03E70, 03H20, 03H99 | MR 609938 | Zbl 0454.03027

References:

[V] P. VOPĚNKA: Mathematics in the alternative set theory. Teubner-Texte, Leipzig 1979. MR 0581368

[S 1] A. SOCHOR: Metamathematics of the alternative set theory, I. Comment. Math. Univ. Carolinae 20 (1979), 697-722. MR 0555184 | Zbl 0433.03028

[S-V 1] A. SOCHOR P. VOPĚNKA: Endomorphic universes and their standard extensions. Comment. Math. Univ. Carolinae 20 (1979), 605-629. MR 0555178

[S-V 2] A. SOCHOR P. VOPĚNKA: Revealments. Comment. Math. Univ. Carolinae 21 (1980), 97-118. MR 0566243

Partner of