Revealments
Sochor, Antonín ; Vopěnka, Petr
Commentationes Mathematicae Universitatis Carolinae, Tome 021 (1980), p. 97-118 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1980-01-01
Classification:  02H20,  02K10,  02K99,  03E70,  03E99,  03H99,  04A99 
@article{105980,
     author = {Anton\'\i n Sochor and Petr Vop\v enka},
     title = {Revealments},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {021},
     year = {1980},
     pages = {97-118},
     zbl = {0428.03049},
     mrnumber = {566243},
     language = {en},
     url = {http://dml.mathdoc.fr/item/105980}
}

Sochor, Antonín; Vopěnka, Petr. Revealments. Commentationes Mathematicae Universitatis Carolinae, Tome 021 (1980) pp. 97-118. http://gdmltest.u-ga.fr/item/105980/

P. Vopěnka Mathematics in the alternative set theory, Teubner-Texte, Leipzig 1979. (1979) | MR 0581368

K. Čuda P. Vopěnka Real and imaginary classes in the alternative set theory, Comment. Math. Univ. Carolinae 20 (1979), 639-653. (1979) | MR 0555180

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. (1976) | MR 0446963 | Zbl 0338.02030

A. Sochor P. Vopěnka Endomorphic universes and their standard extensions, Comment. Math. Univ. Carolinae 20 (1979), 605-629. (1979) | MR 0555178