About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Sochor, Antonín ; Vopěnka, Petr
Revealments. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 21 (1980), issue 1, pp. 97-118
MSC: 02H20, 02K10, 02K99, 03E70, 03E99, 03H99, 04A99 | MR 566243 | Zbl 0428.03049
References:
[V] P. VOPĚNKA: Mathematics in the alternative set theory. Teubner-Texte, Leipzig 1979. MR 0581368
[Č-V] K. ČUDA P. VOPĚNKA: Real and imaginary classes in the alternative set theory. Comment. Math. Univ. Carolinae 20 (1979), 639-653. MR 0555180
[K] S. KRAJEWSKI: Non standard satisfaction classes. Set Theory and Hierarchy Theory, A Memorial Tribute to A. Mostowski, Lecture Notes in Math. 539, pp. 121-144, Springer-Verlag 1976. MR 0446963 | Zbl 0338.02030
[S-V 1] A. SOCHOR P. VOPĚNKA: Endomorphic universes and their standard extensions. Comment. Math. Univ. Carolinae 20 (1979), 605-629. MR 0555178
Partner of
EuDML logo